diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 13:57:01 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 13:57:01 +0000 |
commit | 5d887e67cfba0d7c0a59e5a065570113659de694 (patch) | |
tree | 81b5a2872d656fd1874196e3e99eb5895d1f0c47 | |
parent | a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932 (diff) |
*** empty log message ***
-rw-r--r-- | generic/pg-pbrpm.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index a6498cce..3f271356 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -46,9 +46,8 @@ (setq pg-pbrpm-buffer-menu (generate-new-buffer (generate-new-buffer-name "*proof-menu*"))) (set-buffer pg-pbrpm-buffer-menu) +; needs to be fixed here, the mode could be some other prover (phox-mode) - (x-symbol-mode t) ; just to be sure - (font-lock-mode t) ; just to be sure (not activated on OSX ?? (make-local-hook 'after-change-functions) (setq after-change-functions (cons 'pg-pbrpm-menu-change-hook after-change-functions))) (pg-pbrpm-erase-buffer-menu)) @@ -185,7 +184,9 @@ The prover command is processed via pg-pbrpm-run-command." (insert-gui-button (make-gui-button "Cancel" (lambda (n) (pg-pbrpm-erase-buffer-menu) (delete-frame)) nil)) - (x-symbol-decode) +; needs to be fixed for other prover than phox + (if phox-x-symbol-enable + (x-symbol-decode)) (mapc 'span-read-only pg-pbrpm-spans) (make-dialog-frame '(width 80 height 30))) (beep))))) |