From 66a8a3e9fb62c7affbe6a38d8e3ea257c6febe18 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 6 Mar 2003 22:12:38 +0000
Subject: Fix Non-X frame error on Emacs 21

---
 generic/proof-splash.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 4532f57a..9759f66a 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -118,6 +118,7 @@ DEFAULT gives return value in case image not valid."
    ;; Support GNU Emacs 21
    ((and
      proof-running-on-Emacs21
+     window-system
      (setq img
 	   (find-image
 	    (list
-- 
cgit v1.2.3