diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 11:35:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 11:35:23 +0000 |
| commit | 141e2a28e04e9a489226a9ceb5c09396fc2ac3ae (patch) | |
| tree | e53608238fdf90f9a17cd9ff0c2514639d5408a0 /generic/pg-pgip.el | |
| parent | f7326c0d563e12e08ba32e401ec59dbc4b225ef6 (diff) | |
Add 'oldhaspref to update action (settings appears again on Isar menu).
Diffstat (limited to 'generic/pg-pgip.el')
| -rw-r--r-- | generic/pg-pgip.el | 1 |
1 files changed, 1 insertions, 0 deletions
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)) |