diff options
author | 2000-09-13 15:19:23 +0000 | |
---|---|---|
committer | 2000-09-13 15:19:23 +0000 | |
commit | 1be8575cb590ac3f18497845ee1b8fe3b292704c (patch) | |
tree | 45142e4fb2bc65ab33aa790cb3f88b8fa5ca909e /af2 | |
parent | 620734f14fe4e106244db089bdcadca49b7d3e77 (diff) |
Add removal of state button as test example. Replace af2-with-xemacs -> proof-running-on-XEmacs.
Diffstat (limited to 'af2')
-rw-r--r-- | af2/af2.el | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,6 +1,12 @@ (require 'proof) ; load generic parts (require 'sym-lock) +;; Adjust toolbar entries. (Must be done +;; before proof-toolbar is loaded). + +(setq af2-toolbar-entries + (remassoc 'state af2-toolbar-entries)) + ;; ======== User settings for Af2 ======== ;; ;; Defining variables using customize is pretty easy. @@ -100,7 +106,7 @@ (defun af2-tags-add-table(table) "add tags table" (interactive "D directory, location of a file named TAGS to add : ") - (if af2-with-xemacs + (if proof-running-on-XEmacs (let ((association (cons buffer-file-name table))) (if (member association tag-table-alist) (message (concat table " already loaded.")) @@ -118,7 +124,7 @@ "Set tags-table-list to nil." (interactive) ; (make-local-variable 'tags-table-list) - (if af2-with-xemacs + (if proof-running-on-XEmacs (setq tag-table-alist (remassoc buffer-file-name tag-table-alist)) (setq tags-table-list nil)) ) |