aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox
diff options
context:
space:
mode:
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