From b5ab91cb5b0715d7bb6febbcc9ef666a789b78e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 2010 09:58:53 +0000
Subject: No compile warning if image-size not available

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

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index e008e976..e5ace495 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -150,7 +150,9 @@ Borrowed from startup-center-spaces."
 	 (glyph-pixwidth   (cond ((stringp glyph)
 				  (* avg-pixwidth (length glyph)))
 				 ((proof-emacs-imagep glyph)
-				  (car (image-size glyph 'inpixels)))
+				  (car (with-no-warnings 
+					; image-size not available in tty emacs
+					 (image-size glyph 'inpixels))))
 				 (t
 				  (error
 				   "proof-splash-centre-spaces: bad arg")))))
-- 
cgit v1.2.3