diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 13:33:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 13:33:26 +0000 |
commit | 578b9bf5b1ea4f5c3f1cd1bda2cdce3f86fececf (patch) | |
tree | b1169a23c42a03df90bf8f34056a6dc419293f8d /twelf | |
parent | 9db632050d3ba3f085396a0414fe38e3ba9ce82c (diff) |
Remove twelf-config-mode variable check, to allow functions
here to work with PG (without loading twelf-old.el).
Diffstat (limited to 'twelf')
-rw-r--r-- | twelf/twelf-font.el | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/twelf/twelf-font.el b/twelf/twelf-font.el index 0e7b8a13..9ec58371 100644 --- a/twelf/twelf-font.el +++ b/twelf/twelf-font.el @@ -8,16 +8,16 @@ ;; ;; -;; FIXME da: need to put syntax table into function +;; FIXME da: integrate with PG's face mechanism? +;; (but maybe keep twelf faces to help users) +;; Also should add immediate fontification. + ;; modify the syntax table so _ and ' are word constituents ;; otherwise the regexp's for identifiers become very complicated ;; FIXME: fn undef'd(set-word ?\_) ;; FIXME: fn (set-word ?\') -;; FIXME da: integrate with PG's face mechanism -;; (but maybe keep twelf faces to help users) - ;; setting faces here... ;; use devices to improve portability? ;; make it dependent on light background vs dark background @@ -110,10 +110,9 @@ regular expressions." (defun twelf-font-fontify-buffer () "Fontitifies the current buffer as Twelf code." (interactive) - (if (not twelf-config-mode) - (save-excursion - (font-lock-unfontify-region (point-min) (point-max)) ; t optional in XEmacs - (twelf-font-fontify-region (point-min) (point-max))))) + (save-excursion + (font-lock-unfontify-region (point-min) (point-max)) ; t optional in XEmacs + (twelf-font-fontify-region (point-min) (point-max)))) (defun twelf-font-unfontify () "Removes fontification from current buffer." |