diff options
| author | Healfdene Goguen | 1998-05-06 15:56:14 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 15:56:14 +0000 |
| commit | b96c1c26a624ae0f290c7a7f1e0335d4f948b8b2 (patch) | |
| tree | a953a04c002e4c900c358600123f19823cfeb0a4 | |
| parent | 5e26dc917fc0e71d3ffe2e19f118154a0fac7067 (diff) | |
Fixed problem introduced by working on emacs19 in
proof-zap-commas-region.
| -rw-r--r-- | proof-fontlock.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/proof-fontlock.el b/proof-fontlock.el index d195f856..3ef83c8e 100644 --- a/proof-fontlock.el +++ b/proof-fontlock.el @@ -4,6 +4,10 @@ ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; $Log$ +;; Revision 1.6 1998/05/06 15:56:14 hhg +;; Fixed problem introduced by working on emacs19 in +;; proof-zap-commas-region. +;; ;; Revision 1.5 1998/05/05 14:25:45 hhg ;; Simple white-space changes. ;; @@ -102,7 +106,7 @@ (if (memq (get-char-property (- (point) 1) 'face) '(font-lock-declaration-name-face font-lock-function-name-face)) -; (font-lock-remove-face (- (point) 1) (point)) + (font-lock-remove-face (- (point) 1) (point)) ))))) (defun proof-zap-commas-buffer () |