From 88b7a11a65458e97bab0dc1b9ebb9d81ecdc8b81 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 22:10:14 +0000
Subject: Add another window system: w32 for win 32. Really we should use
 default here to get rid of this list.

---
 generic/proof-config.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)))))
 
-- 
cgit v1.2.3