From 141e2a28e04e9a489226a9ceb5c09396fc2ac3ae Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 15 Apr 2004 11:35:23 +0000
Subject: Add 'oldhaspref to update action (settings appears again on Isar
 menu).

---
 generic/pg-pgip.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/pg-pgip.el')

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index bc1d152b..dc00426f 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -92,6 +92,7 @@
    ((eq pgip 'usespgml))
    ((or
      (eq pgip 'haspref)
+     (eq pgip 'oldhaspref) ;; FIXME: see note above about oldhaspref
      (eq pgip 'prefval))
     ;; Update preferences view/menu
     (proof-assistant-menu-update))
-- 
cgit v1.2.3