diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 0b6f2ce9..cc41b123 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1822,11 +1822,8 @@ Error messages are displayed as usual." (buffer-disable-undo) - ;; comint customisation. + ;; scomint customisation. - (if proof-shell-prompt-pattern - (setq scomint-prompt-regexp proof-shell-prompt-pattern)) - (setq scomint-output-filter-functions '(proof-shell-filter)) ;; Proof marker is initialised in filter to first prompt found |