From 444c8579ab1427937fe8158d4de3eec34d3df1fc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Mar 2002 15:04:51 +0000 Subject: Added emultation of display-graphic-p for XEmacs --- generic/proof-compat.el | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 74b53f69..d3cd1247 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -1,6 +1,6 @@ ;; proof-comapt.el Operating system and Emacs version compatibility ;; -;; Copyright (C) 2000-2001 LFCS Edinburgh. +;; Copyright (C) 2000-2002 LFCS Edinburgh. ;; ;; Author: David Aspinall and others ;; Maintainer: Proof General maintainer @@ -54,6 +54,21 @@ with `path-separator'." "See if IMG is an Emacs 21 image descriptor (returns nil since not E21)." nil)) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; +;;; XEmacs compatibility with GNU Emacs +;;; + +(or (fboundp 'display-graphic-p) + (defun display-graphic-p () + "Return non-nil if DISPLAY is a graphic display. +Graphical displays are those which are capable of displaying several +frames and several different fonts at once. This is true for displays +that use a window system such as X, and false for text-only terminals." + (or (eq (console-type) 'x) + (eq (console-type) 'mswindows)))) + + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; GNU Emacs compatibility -- cgit v1.2.3