Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optional timeout warning when waiting for the proof shell #516

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Optional timeout warning when waiting for the proof shell #516

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
1f2120a
Add proof-shell-timeout-warn variables (see #514)
andyqhan Oct 12, 2020
99cd00c
Add shell-internal variable for timer (see #514)
andyqhan Oct 12, 2020
d8d6104
Implement timeout message (see #514)
andyqhan Oct 12, 2020
ebea62f
fix parentheses
andyqhan Oct 12, 2020
3ab6159
fix empty goals bug because of previous commit
andyqhan Oct 12, 2020
9a38852
change timer config to one variable
andyqhan Oct 12, 2020
f8c0c09
Change warning text to clarify C-c C-c vs C-c C-x
andyqhan Oct 13, 2020
11d8c59
cancel timer in the case of error or interrupt
andyqhan Oct 14, 2020
ae1b766
implement matafou's suggestions
Mar 21, 2021
989ef2e
Merge branch 'master' of https://github.com/ProofGeneral/PG
Mar 21, 2021
debe754
more fixes… seems to work lol
Mar 28, 2021
1cc7e70
arm timer every command, not every region
Apr 3, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Add proof-shell-timeout-warn variables (see #514)
  • Loading branch information
@andyqhan
andyqhan committed Oct 12, 2020
commit 1f2120a006f50c8512701ba7c030a8a74d5c3c4c
14 changes: 14 additions & 0 deletions generic/proof-config.el
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1516,7 +1516,21 @@ outside of any proof.
:type 'function
:group 'proof-script)

(defcustom proof-shell-timeout-warn-p t
"Whether Proof General should warn us if a command is taking
too long and might be malformed.

Set to nil to disable."
:type 'boolean
:group 'proof-shell)

(defcustom proof-shell-timeout-warn-length 30
"If `proof-shell-timeout-p' is true, this tells PG how long to
wait before warning the user, in seconds.

Default value is 30 seconds. Set it as an integer."
:type 'integer
:group 'proof-shell)

;;
;; 3c. tokens mode: turning on/off tokens output
Expand Down