diff options
| author | David Aspinall | 2002-08-31 13:04:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 13:04:10 +0000 |
| commit | cb48d3cf0936a350fe0d1b7527f08440c18258be (patch) | |
| tree | 36d56749ba31f0724927ae5038586b33f494e9c7 /generic/proof-utils.el | |
| parent | 267c47d5d5a31f652e50ae03961906ec0c49bb85 (diff) | |
Improved implementation of zap-commas font lock behaviour, patch from Stefan Monnier
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 0bf5e305..46b4b5d3 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -407,9 +407,9 @@ Returns new END value." (narrow-to-region start end) (run-hooks 'pg-before-fontify-output-hook) (setq end (point-max))) - (font-lock-default-fontify-region start end nil) + (font-lock-default-fontify-region start end nil)))) ;; FIXME: after-fontify hook might do this ugly zap commas thing. - (proof-zap-commas-region start end)))) + ;;(proof-zap-commas-region start end)))) (save-restriction (narrow-to-region start end) (run-hooks 'pg-after-fontify-output-hook) |