diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index a30711d9..f8724c9d 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1649,9 +1649,6 @@ by the filter is to send the next command from the queue." (defvar pg-last-tracing-output-time nil "Time of last tracing output, as recorded by (current-time).") -(defvar pg-tracing-slow-mode nil - "Non-nil for slow refresh mode for tracing output.") - (defconst pg-slow-mode-duration 2 "Maximum duration of slow mode in seconds.") |