diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-10-20 08:13:19 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-10-20 08:13:19 +0000 |
| commit | 2c70e6f34a3f794feaebd44f42e367e794127a6e (patch) | |
| tree | 1a9ce8ada7b3e45443fb498b6625417bceda19d0 /generic/pg-pbrpm.el | |
| parent | 3db20b5e170667464a58430f4386b1de02a329b0 (diff) | |
bug fix
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index c26f8b1f..52adfc90 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -13,6 +13,7 @@ (defvar pg-pbrpm-buffer-menu nil) (defvar pg-pbrpm-spans nil) (defvar pg-pbrpm-goal-description nil) +(defvar pg-pbrpm-windows-dialog-bug nil) (defun pg-pbrpm-erase-buffer-menu () (save-excursion @@ -23,7 +24,6 @@ (defun pg-pbrpm-menu-change-hook (start end len) (save-excursion - (message "coucou") (let ((span (span-at (- start 1) 'editable))) (if (not span) (setq span (span-at start 'editable))) (if span @@ -259,6 +259,7 @@ The prover command is processed via pg-pbrpm-run-command." (if act (setq command (apply act command spans nil))) (if allspan (setq command (concat "(* " (span-string allspan) " *)\n" command "."))) ; delete buffer (and its span) after applying "act" + (pg-pbrpm-erase-regions-list) (if pg-pbrpm-use-buffer-menu (progn (pg-pbrpm-erase-buffer-menu) |