diff options
| -rw-r--r-- | generic/proof-splash.el | 4 |
1 files changed, 3 insertions, 1 deletions
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"))))) |