diff options
Diffstat (limited to 'generic')
| -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) |