diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 11:38:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 11:38:27 +0000 |
| commit | 1785c9bc1a17db5b8315337448ce9faa4acb6b2f (patch) | |
| tree | dd733b245dbb607966a183ce09b57b68aaf74399 /generic/proof-toolbar.el | |
| parent | 11e63b3a7392884e0842245bf38d6e33fc0c5d2d (diff) | |
Let Windows use the toolbar too.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 84198b05..984bfbd2 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -169,7 +169,8 @@ to the default toolbar." (if (and proof-toolbar-enable ;; NB for FSFmacs use window-system, not console-type - (eq (console-type) 'x)) + (or (eq (console-type) 'x) + (eq (console-type) 'mswindows))) (let ((icontype (if (featurep 'xpm) (if (< (device-pixel-depth) 16) |