diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 395a1fb7..589abe15 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2498,6 +2498,9 @@ assistant." ;; Maybe turn on x-symbol mode and MMM mode (proof-x-symbol-mode) + ;; FIXME: slight bugginess here with MMM mode/font-lock: visiting + ;; a fresh file leaves the progress bar up. Perhaps turning + ;; on MMM here is wrong, is should happen automatically? (proof-mmm-enable)) |