diff options
| -rw-r--r-- | generic/pg-user.el | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index eb8b62d7..9c1953b9 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -32,14 +32,6 @@ ;; Utilities: moving point in proof script buffer ;; -(defun proof-script-next-command-advance () - "Move point to the beginning of the next command if it's nearby. -Assumes that point is at the end of a command." - (interactive) - (skip-chars-forward " \t\n")) -; (if (and proof-one-command-per-line (eolp)) -; (forward-line))) - ;; First: two commands for moving forwards in proof scripts. Moving ;; forward for a "new" command may insert spaces or new lines. Moving ;; forward for the "next" command does not. @@ -84,7 +76,7 @@ Assumes that point is at the end of a command." (p (point))) (if proof-script-command-separator (insert proof-script-command-separator) - (insert-char ?\040 newspace) + (insert-char ?\040 newspace) (goto-char p))))) |