From e7e86eafc75d76cf0fe0a160f9bc68aa3d72c5b5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 1998 16:40:46 +0000
Subject: Added image directory for toolbar icons

---
 generic/proof-site.el | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 239ed2fe..4225bc27 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -32,6 +32,12 @@ Default value taken from PROOF_HOME, or use customize to set it."
   :type 'directory
   :group 'proof)
 
+(defcustom proof-image-directory
+  (concat proof-home "images/")
+    "Where proof mode image files are installed. Ends with slash."
+  :type 'directory
+  :group 'proof)
+
 (defcustom proof-assistant
   'isa
   "Choice of proof assitant to run generic mode with.
-- 
cgit v1.2.3