diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:21:41 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:21:41 +0200 |
commit | efb54b9098d665fd58e99c42f53afd7e49a36c70 (patch) | |
tree | 9af31abb8b95f6a717788b5c517ee8f803d0bb17 /generic/proof-script.el | |
parent | 14b8d0e24ef48032885018b4020969593477ee26 (diff) |
proof-retract-command-hook added + more auto adjust width in coq mode.
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 338318e7..e65d2fc9 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2238,7 +2238,9 @@ query saves here." (backward-char) (setq span (span-at (point) 'type))) (if span - (proof-retract-target span undo-action displayflags) + (progn + (run-hooks 'proof-retract-command-hook) ;; sneak commands (real ones with a prompt) + (proof-retract-target span undo-action displayflags)) ;; something wrong (proof-debug "proof-retract-until-point: couldn't find a span!")))))) |