From 87e6f0630d21ff06a902cac8de98e942fab274dc Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Sun, 4 Jun 2000 12:35:55 +0000 Subject: proof-segment-up-to-cmdstart: exclude leading blanks from command string; --- generic/proof-script.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'generic/proof-script.el') 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. -- cgit v1.2.3