diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-21 15:14:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-21 15:14:01 +0000 |
| commit | 693473f0b33f8905d2ad5bc760eb621bb523cf1c (patch) | |
| tree | cc1958383efec5034d547120542927dc178e0e82 /generic | |
| parent | fb8430c7ee8f78e006a7d4c1185c37ec8c2ec9b0 (diff) | |
Removed blurry distinction between block-comment and comment in FSF's buffer-syntactic-context
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-compat.el | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index a7d4a8af..25c7ccfb 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -40,6 +40,16 @@ (autoload 'browse-url "browse-url" "Ask a WWW browser to load URL." t)) +;; Compatibility with XEmacs 20.3/4 +(or (boundp 'path-separator) + (setq path-separator (if proof-running-on-win32 ";" ":"))) +(or (fboundp 'split-path) + (defun split-path (path) + "Explode a search path into a list of strings. +The path components are separated with the characters specified +with `path-separator'." + (split-string path (regexp-quote path-separator)))) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -138,7 +148,11 @@ Otherwise treat \\ in NEWTEXT string as special: (let ((pp (parse-partial-sexp 1 (point)))) (cond ((nth 3 pp) 'string) - ((nth 7 pp) 'block-comment) + ;; ((nth 7 pp) 'block-comment) + ;; "Stefan Monnier" <monnier+misc/news@rum.cs.yale.edu> suggests + ;; distinguishing between block comments and ordinary comments + ;; is problematic: not what XEmacs claims and different to what + ;; (nth 7 pp) tells us in FSF Emacs. ((nth 4 pp) 'comment)))))) |