diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 15:27:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 15:27:54 +0000 |
commit | 6be19ebc71ad08dcb6c8ebafba73348be3137e03 (patch) | |
tree | 25f6f529053021cb3d78d0fe9999cd2b8cd9d4c7 /generic | |
parent | 60e3a6c2d0e27ba6348b882105887cd4100170c6 (diff) |
Patch for buggy derived.el in XEmacs 21.5.b28
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 15eda466..e30ddcfc 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2442,6 +2442,21 @@ command." ;; font-lock-keywords isn't automatically buffer-local in Emacs 21.2 (make-local-variable 'font-lock-keywords) + ;; Syntax table in XEmacs 21.5.b28 does not classify newline as space, + ;; breaking regexps using \\s- that rely on that (showed up for Coq). + ;; In fact it seems to be broken rather more seriously than that: + ;; default syntax table of fundamental mode is not merged at all! + (if (and proof-running-on-XEmacs + ;; hopefully fixed for later versions but we don't know yet + (>= 21 emacs-major-version) + (>= 5 emacs-minor-version)) + (progn + (derived-mode-merge-syntax-tables + (standard-syntax-table) (syntax-table)) + ;; We also need this + (modify-syntax-entry ?\n " "))) + + ;; During write-file it can happen that we re-set the mode for ;; the currently active scripting buffer. The user might also ;; do this for some reason. We could maybe let |