diff options
author | 2006-10-27 17:33:04 +0000 | |
---|---|---|
committer | 2006-10-27 17:33:04 +0000 | |
commit | 1a902e231b83c00399242cd61838ba0c5f6770de (patch) | |
tree | 745516481959f1384c5487a0e8a7f3e0d4f88cfd /generic/proof-menu.el | |
parent | 40a7b597d4ac26214bd50bf1b0dc19391fd7f1ad (diff) |
Rationalise testing for different values of window-system, to/and support more Emacs ports easily
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0a7533a6..1ce3c577 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -339,7 +339,7 @@ without adjusting window layout." ;; non-Emacs users. Cf. Gnome usability studies: menus saying ;; "Web Browser" more useful to novices than menus saying "Mozilla"!! ["Multiple Windows" proof-multiple-frames-toggle - :active (display-graphic-p) + :active (pg-window-system) :style toggle :selected proof-multiple-frames-enable] ["Delete Empty Panes" proof-delete-empty-windows-toggle |