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
Prev Previous commit
Next Next commit
fix parentheses
  • Loading branch information
@andyqhan
andyqhan committed Oct 12, 2020
commit ebea62f0ed62d946b3b7b8a67a17659f094341f7
2 changes: 1 addition & 1 deletion generic/proof-shell.el
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1211,7 +1211,7 @@ contains only invisible elements for Prooftree synchronization."
;; if the shell isn't still busy, cancel timer
(if (and proof-shell-timer proof-shell-timeout-p)
(progn (cancel-timer proof-shell-timer)
(setq proof-shell-timer nil)))
(setq proof-shell-timer nil)))))


(defun proof-shell-insert-loopback-cmd (cmd)
Expand Down