diff options
| author | David Aspinall | 2002-08-31 13:14:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 13:14:51 +0000 |
| commit | a1dc80ab120070366cc2f67c8f2511d3130826b0 (patch) | |
| tree | 1bcf494ef4a124ed6fbc0b5287a6e3d99143105a /generic/proof-utils.el | |
| parent | 18f9818742594d7481e0095322f697c1b6e7331e (diff) | |
Documentation.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 46b4b5d3..a0e86486 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -408,8 +408,6 @@ Returns new END value." (run-hooks 'pg-before-fontify-output-hook) (setq end (point-max))) (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)))) (save-restriction (narrow-to-region start end) (run-hooks 'pg-after-fontify-output-hook) |