aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-02-15 15:00:30 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-02-15 15:00:30 +0000
commit1b5cb37ff28fcaad44b3b41451bed997258f3592 (patch)
treedffabbd670f599e07253d4ae1a0fcfe98570b655 /phox
parenteb3472d3539e05e0b48447fa4e1c26581bdece4a (diff)
Fixes so that compile works
Diffstat (limited to 'phox')
-rw-r--r--phox/phox-sym-lock.el2
-rw-r--r--phox/phox-tags.el4
-rw-r--r--phox/phox.el5
3 files changed, 6 insertions, 5 deletions
diff --git a/phox/phox-sym-lock.el b/phox/phox-sym-lock.el
index 1c4e4cae..668f6e8e 100644
--- a/phox/phox-sym-lock.el
+++ b/phox/phox-sym-lock.el
@@ -29,7 +29,7 @@
;; more about symbol font ? check out: xfd -fn '-adobe-symbol-*--12-*'
(require 'font-lock)
-(require 'atomic-extents)
+(proof-try-require 'atomic-extents) ;; da: proof-try-require for Emacs compat
(defvar phox-sym-lock-sym-count 0
"Counter for internal symbols.")
diff --git a/phox/phox-tags.el b/phox/phox-tags.el
index dc143230..e24e6ce7 100644
--- a/phox/phox-tags.el
+++ b/phox/phox-tags.el
@@ -109,10 +109,6 @@
"Phox menu for dealing with tags"
)
-;; default
-
-(if phox-tags-doc (add-hook 'phox-mode-hook 'phox-tags-add-doc-table))
-
(provide 'phox-tags)
diff --git a/phox/phox.el b/phox/phox.el
index 5fadf597..88d4588a 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -79,6 +79,11 @@
(require 'phox-tags)
(require 'phox-outline)
+;; default for tags [da: moved here to fix compilation 15/02/03]
+
+(if phox-tags-doc
+ (add-hook 'phox-mode-hook 'phox-tags-add-doc-table))
+
;; ----- PhoX specific menu