diff options
| author | David Aspinall | 2006-02-14 15:51:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-02-14 15:51:39 +0000 |
| commit | c497203b11d13fd162bc371caec135056b3bb741 (patch) | |
| tree | bb25ba1dfb0b8419491709556fa4cb608a229064 | |
| parent | b9746af4898ac010359305f9fb693f288a12a7f9 (diff) | |
Add back lost edits
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e4f32d62..9703279b 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -447,7 +447,7 @@ signals to the remote host." (list (list (list 'type ty) '(class color) (list 'background 'dark)) (quote ,bd)))) - '(x mswindows gtk))) + '(x mswindows gtk mac))) (list (list t (quote ,ow))))) (defface proof-queue-face @@ -739,8 +739,9 @@ If a function, it should return the command string to insert." (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (visibility "Toggle Visibility" nil t) - (info nil "Show online proof assistant information" t - proof-info-command) +; PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Help anyway +; (info nil "Show online proof assistant information" t +; proof-info-command) (help nil "Proof General manual" t)) "Example value for proof-toolbar-entries. Also used to define scripting menu. This gives a bare toolbar that works for any prover, providing the |