diff options
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)) |