diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 08:28:30 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 08:28:30 +0000 |
commit | 802687cdbfaadc37d0c9682177ffc0597266e94c (patch) | |
tree | b1888977fe608a62fb3d26386eb37b33a3dd2fa0 /phox/phox-fun.el | |
parent | ef3def4933bdf3da95b10b6e154ca618bff4635f (diff) |
Removed support for x-symbol (I do not like it because it changes the buffer content !)
sym-lock is still available on xemacs only
various other bug fix.
Diffstat (limited to 'phox/phox-fun.el')
-rw-r--r-- | phox/phox-fun.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index 9a264b00..6471f3d4 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -1,3 +1,4 @@ + ;; $State$ $Date$ $Revision$ ;; syntax @@ -254,10 +255,9 @@ If inside a comment, just process until the start of the comment." (interactive) ; (if (and (> (point) 1) (char-equal (char-before (point)) ?\.)) (insert "\n")) (proof-with-script-buffer - (proof-maybe-save-point (goto-char (proof-queue-or-locked-end)) - (proof-assert-next-command)) - (proof-maybe-follow-locked-end))) + (proof-assert-next-command) + (proof-maybe-follow-locked-end))) ;;--------------------------------------------------------------------------;; ;; Obtaining some informations on the system. |