diff options
| author | David Aspinall | 2008-01-31 22:10:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-31 22:10:14 +0000 |
| commit | 88b7a11a65458e97bab0dc1b9ebb9d81ecdc8b81 (patch) | |
| tree | 9c4832ce56a0db2f5d41f9248e99c6e31821415a /generic | |
| parent | 218bbd856ce2983dba8b0863319eb7118655f59f (diff) | |
Add another window system: w32 for win 32.
Really we should use default here to get rid of this list.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e3b9404a..aca9ff8d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -450,9 +450,12 @@ signals to the remote host." :group 'proof-general :prefix "proof-") +;; TODO: get rid of this list. Does 'default work widely enough +;; by now? (defconst pg-defface-window-systems '(x ;; bog standard mswindows ;; Windows + w32 ;; Windows gtk ;; gtk emacs (obsolete?) mac ;; used by Aquamacs carbon ;; used by Carbon XEmacs @@ -474,7 +477,6 @@ not listed here, you may not get the correct syntax colouring behaviour.") (list (list (list 'type ty) '(class color) (list 'background 'dark)) (quote ,bd)))) - ;; NOTE: see proof-compat.el for possible window-system values pg-defface-window-systems)) (list (list t (quote ,ow))))) |