diff options
author | 2007-03-03 15:28:20 +0000 | |
---|---|---|
committer | 2007-03-03 15:28:20 +0000 | |
commit | 8561a2dfd1b246208420728a44744501a987a79a (patch) | |
tree | 22f84b6a09efc298e1c2462072d5e612bc610800 /isar | |
parent | 5a37180c03b61f4d64492e3fb36e4d7673e6e261 (diff) |
Patch for XEmacs 21.5 beta match-replace bug
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 9ddca83c..b4b11479 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -214,8 +214,12 @@ See -k option for Isabelle interface script." ;; Allow font-locking for output based on hidden annotations, see ;; isar-output-font-lock-keywords-1 pg-use-specials-for-fontify t - pg-special-char-regexp "[\200-\377]\\|\^A[A-Z]" - + pg-special-char-regexp ;; should be: "[\200-\377]\\|\^A[A-Z]" + ;; da: the character range here fails to match (actually, fails + ;; to match-replace) in xemacs 21.5 betas, so I'm listing the + ;; characters instead, which works. + ;; This should probably be tuned to the ones actually used by Isabelle + "\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|\\|[A-Z]" pg-after-fontify-output-hook 'pg-remove-specials pg-subterm-help-cmd "term %s" |