diff options
| author | Makarius Wenzel | 2005-09-01 14:18:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-01 14:18:05 +0000 |
| commit | 1702b15d4aa280923592c749361f5344afb8ad68 (patch) | |
| tree | 4b7f944f810c12dbee2e1df6ad2480bebb632152 | |
| parent | d0c07033ee165a99d8e4aaee1f0ab8868f36ec2c (diff) | |
added pg-special-char-regexp (used to be a constant in proof-utils.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 |