diff options
| author | David Aspinall | 2000-06-15 12:54:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-15 12:54:17 +0000 |
| commit | 10cfae138cda986ab80c6004d2f4ff574da602bd (patch) | |
| tree | 7fa0f0a4e35b387227ac5172630735e5230234df | |
| parent | 0e26c563a5c219e60c58e97794494e1940f4d5f4 (diff) | |
Support toolbar in gtk-xemacs
| -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) |