diff options
| author | David Aspinall | 1998-10-27 16:11:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 16:11:06 +0000 |
| commit | 189b7a213b9dd9366dda6288e9a0a0e64bf06e49 (patch) | |
| tree | ae6917a33bc7d89dee96b27d37d3a2dd31a1a91c /generic | |
| parent | 215f027e6d76c2b686725fc2e86ce28e1ee09f7d (diff) | |
Removed eval-when-compile around define-derived-mode, it don't work.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 3 | ||||
| -rw-r--r-- | generic/proof-shell.el | 15 |
2 files changed, 7 insertions, 11 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 089ddf42..5e13be05 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1372,7 +1372,6 @@ sent to the assistant." ;; configuring for new assistants. ;;;###autoload -(eval-when-compile ; to initialise variables (define-derived-mode proof-mode fundamental-mode proof-mode-name "Proof General major mode class for proof scripts. @@ -1387,7 +1386,7 @@ sent to the assistant." (add-hook 'kill-buffer-hook (lambda () (setq proof-script-buffer-list - (remove (current-buffer) proof-script-buffer-list)))))) + (remove (current-buffer) proof-script-buffer-list))))) ;; Fixed definitions in proof-mode-map, which don't depend on ;; prover configuration. diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 12fb689d..a945fb5f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -944,7 +944,6 @@ how far we've got." ;; OLD COMMENT: "This has to come after proof-mode is defined" ;;###autoload -(eval-when-compile ; so that vars are defined (define-derived-mode proof-shell-mode comint-mode "proof-shell" "Proof General shell mode class for proof assistant processes" (setq proof-buffer-type 'shell) @@ -976,7 +975,7 @@ how far we've got." (setq proof-re-term-or-comment (concat proof-terminal-string "\\|" (regexp-quote proof-comment-start) "\\|" (regexp-quote proof-comment-end))) - )) + ) (easy-menu-define proof-shell-menu @@ -1007,19 +1006,17 @@ how far we've got." (while (null (marker-position proof-marker)) (if (accept-process-output (get-buffer-process (current-buffer)) 15) () - (error "Failed to initialise proof process"))) - ) + (error "Failed to initialise proof process")))) -(eval-when-compile ; so that vars are defined (define-derived-mode pbp-mode fundamental-mode proof-mode-name "Proof by Pointing" ;; defined-derived-mode pbp-mode initialises pbp-mode-map (setq proof-buffer-type 'pbp) -; (define-key pbp-mode-map [(button2)] 'pbp-button-action) - (erase-buffer))) + (suppress-keymap pbp-mode-map 'all) + ;; (define-key pbp-mode-map [(button2)] 'pbp-button-action) + (proof-define-keys pbp-mode-map proof-universal-keys) + (erase-buffer)) -(suppress-keymap pbp-mode-map 'all) -(proof-define-keys pbp-mode-map proof-universal-keys) |