diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:52:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 12:52:35 +0000 |
commit | 2990bdddc46430fc99d75c9bde4e2634c0b45bbd (patch) | |
tree | 9c02429b4731e8eebcf0dc7eface5220af4c87dc /lib/maths-menu.el | |
parent | 63271acf07738ea48bcaa7b80be9ff2f65bd7c16 (diff) |
PG tagline
Diffstat (limited to 'lib/maths-menu.el')
-rw-r--r-- | lib/maths-menu.el | 24 |
1 files changed, 3 insertions, 21 deletions
diff --git a/lib/maths-menu.el b/lib/maths-menu.el index edfb1b85..ced0ccba 100644 --- a/lib/maths-menu.el +++ b/lib/maths-menu.el @@ -4,7 +4,9 @@ ;; Author: Dave Love <fx@gnu.org> ;; Keywords: convenience -;; $Revision$ + +;; Version for Proof General minimally modified by David Aspinall, 2007-8. + ;; This file is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by @@ -316,26 +318,6 @@ :help "Menu of maths characters to insert")) map)) -;; Unless we have Gtk/Carbon/Nextstep/Other menus, we probably can't -;; display the maths correctly in the menu bar. -(unless - (or (string-match "--with-gtk" system-configuration-options) - (string-match "--with-ns" system-configuration-options) - (string-match "--with-carbon" system-configuration-options)) - (define-key-after maths-menu-menu [warnl] '(menu-item "--")) - (define-key-after maths-menu-menu [warn1] - '(menu-item "NB. This Emacs may display")) - (define-key-after maths-menu-menu [warn2] - '(menu-item "the maths chars wrongly")) - (define-key-after maths-menu-menu [warn3] - '(menu-item "in the menus.")) - ;; Another approach: -;;; (define-key maths-menu-mode-map [menu-bar maths] -;;; (cons "Maths" (lambda () -;;; (interactive) -;;; (tmm-prompt maths-menu-menu)))) - ) - ;;;###autoload (define-minor-mode maths-menu-mode "Install a menu for entering mathematical characters. |