diff options
| author | David Aspinall | 2009-09-10 21:52:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 21:52:37 +0000 |
| commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
| tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/pg-pbrpm.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 2e8a75b0..76fb230d 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -19,9 +19,11 @@ ;; ;;; Code: -(require 'proof) (require 'span) -(require 'proof-script) +(eval-when-compile + (require 'proof-utils)) + +(require 'proof) ;;; ;;; Configuration @@ -101,8 +103,10 @@ Matches the region to be returned.") ; (phox-mode) ; da: proof-mode-for-script should do it ; cr: proof-mode-for-script is not defined in 3.7 - (if (functionp 'proof-mode-for-script) - (funcall 'proof-mode-for-shell) (funcall 'proof-mode)) +; (if (functionp 'proof-mode-for-script) +; (funcall 'proof-mode-for-shell) (funcall 'proof-mode)) +; da: it's the name of a function, not fn itself. See pg-vars + (funcall proof-mode-for-script) (add-hook 'after-change-functions 'pg-pbrpm-menu-change-hook nil t) (pg-pbrpm-erase-buffer-menu))) (set-buffer pg-pbrpm-buffer-menu)) |