diff options
| author | David Aspinall | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-shell.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
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.") |