diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 01f72cc3..c644cccf 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1994,13 +1994,18 @@ data triggered by `proof-shell-retract-files-regexp'." :group 'proof-shell) (defcustom pg-use-specials-for-fontify nil - "Flag indicating whether to strip annotations from output or not. -\"annotations\" are special characters with the top bit set. -If annotations are left in, they are made invisible and can be used -to do syntax highlighting with font-lock." + "Flag indicating whether to strip annotations from output or not; +\"annotations\" consist of special characters according to +`pg-special-char-regexp'. If annotations are left in, they are made +invisible and can be used to do syntax highlighting with font-lock." :type 'boolean :group 'proof-shell) +(defcustom pg-special-char-regexp "[\200-\377]" + "Regexp matching any \"special\" character sequence." + :type 'string + :group 'proof-shell) + (defcustom proof-shell-set-elisp-variable-regexp nil "Matches output telling Proof General to set some variable. This allows the proof assistant to configure Proof General directly |