diff options
| -rw-r--r-- | generic/proof-compat.el | 17 |
1 files changed, 16 insertions, 1 deletions
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 <da@dcs.ed.ac.uk> and others ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> @@ -56,6 +56,21 @@ with `path-separator'." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; +;;; 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 ;;; |