diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index f7dabe60..dec6f452 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1141,11 +1141,12 @@ This version is used when `proof-script-command-start-regexp' is set." (setq tmp (point)) (goto-char comstart) (skip-chars-backward " \t\n") - (let* ((bufstr (buffer-substring prev (point))) + (let* ((prev-no-blanks + (save-excursion (goto-char prev) (skip-chars-forward " \t\n") (point))) + (bufstr (buffer-substring prev-no-blanks (point))) (type (if (eq (string-match commentre bufstr) 0) 'comment 'cmd)) (string (if (eq type 'comment) "" bufstr))) -; (skip-chars-forward " \t\n") ; FIXME markus: just don't do this (setq prev (point)) (goto-char tmp) ;; NB: Command string excludes whitespace, span includes it. |