diff options
| -rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index ea61d1eb..b9cefe13 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -171,8 +171,7 @@ to the default toolbar." (if (and proof-toolbar-enable ;; NB for FSFmacs use window-system, not console-type - (or (eq (console-type) 'x) - (eq (console-type) 'mswindows))) + (memq (console-type) '(x mswindows gtk))) (let ((icontype (if (featurep 'xpm) (if (< (device-pixel-depth) 16) |