diff options
| author | David Aspinall | 1999-11-11 15:33:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 15:33:44 +0000 |
| commit | ee53106260209cd41f6eb014458f8ec37664453d (patch) | |
| tree | cd80b5add06983da3d46707dbf04600bc5b10578 /generic/proof-syntax.el | |
| parent | d629e1c6c2363024c9318c6daf1a8456cceb1a61 (diff) | |
Next round of fixups for font-lock and x-symbol.
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 37819d8b..f5c7668b 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -96,6 +96,9 @@ Default is comma separated, or SEPREGEXP if set." ;;FIXME: Under FSF Emacs 20.2, when initially fontifying the buffer, ;; commas are not zapped. +;; +;; FIXME da: this should be more specific!! +;; (defun proof-zap-commas-region (start end &optional length) "Remove the face of all `,' within the region (START,END). The optional argument LENGTH has no effect. It is required so that we |