aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--generic/pg-pbrpm.el10
1 files changed, 10 insertions, 0 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index 9bbcc2ab..eae6a52e 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -16,6 +16,16 @@
;;
;; (make-frame '((minibuffer . nil) (menu-bar-lines . 0) (tool-bar-lines . nil)))
+(declare-function proof-pbrpm-generate-menu "nofile")
+(declare-function insert-gui-button "nofile")
+(declare-function make-gui-button "nofile")
+(declare-function make-dialog-frame "nofile")
+(declare-function event-point "nofile")
+(declare-function event-buffer "nofile")
+(declare-function default-mouse-track-return-dragged-selection "nofile")
+(declare-function default-mouse-track-drag-hook "nofile")
+(declare-function mouse-track "nofile")
+
;;
;;; Code: