diff options
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 |