diff options
-rw-r--r-- | generic/proof-shell.el | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c0d1de04..b6c0ddfd 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1888,6 +1888,16 @@ If WAIT is an integer, wait for that many seconds afterwards." "Menu used in Proof General shell mode." (cons proof-general-name proof-shell-menu)) + +;; +;; Sanity checks on important settings +;; + +(defconst proof-shell-important-settings + '(proof-shell-annotated-prompt-regexp ; crucial + )) + + (defun proof-shell-config-done () "Initialise the specific prover after the child has been configured. Every derived shell mode should call this function at the end of @@ -1895,7 +1905,11 @@ processing." (save-excursion (set-buffer proof-shell-buffer) - ;; We do not enable font-lock here + ;; Give warnings if some crucial settings haven't been made + (dolist (sym proof-shell-important-settings) + (proof-warn-if-unset "proof-shell-config-done" sym)) + + ;; We do not enable font-lock here, it's a waste of cycles. ;; (proof-font-lock-configure-defaults) (let ((proc (get-buffer-process proof-shell-buffer))) |