diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 12:26:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 12:26:13 +0000 |
| commit | 2ced2b851a24d69177462591ea6b8ac4e31102bf (patch) | |
| tree | c3be2d103b0719c7550332c9c2729b3c0cb49985 /generic | |
| parent | b2f1fe36f90c763fd49d4a2bc31b7cf0f1ca04a2 (diff) | |
Reverse 8.28, buffer-substring-no-properties -> buffer-substring.
This fixes Unicode Tokens handling of sub/super scripts, etc.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214
Thanks to Simon Winwood for identifying failure point.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 8a01fd85..0791a56c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1643,7 +1643,7 @@ to the function which parses the script segment by segment." (setq cmdseen t) (setq seg (list 'cmd - (buffer-substring-no-properties realstart (point)) + (buffer-substring realstart (point)) (point)))) ((null type)) ; nothing left in buffer (t @@ -1807,7 +1807,7 @@ to the function which parses the script segment by segment." (skip-chars-forward " \t\n") (point))) (comend (point)) - (bufstr (buffer-substring-no-properties prev-no-blanks comend)) + (bufstr (buffer-substring prev-no-blanks comend)) (type (save-excursion ;; The behaviour here is a bit odd: this is a @@ -1946,7 +1946,7 @@ This version is used when `proof-script-command-end-regexp' is set." ;; There should be something left: a command. (skip-chars-forward " \t\n") (setq alist (cons (list 'cmd - (buffer-substring-no-properties + (buffer-substring (point) cmdend) cmdend) alist)) (setq prev cmdend) |