diff options
| author | David Aspinall | 2002-03-21 15:04:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 15:04:51 +0000 |
| commit | 444c8579ab1427937fe8158d4de3eec34d3df1fc (patch) | |
| tree | d48fcccf445434a2557f7b6e4780a7b4fbb78a3e /generic | |
| parent | a044701cf3d86e35d0f97b88d9622702e5d0af34 (diff) | |
Added emultation of display-graphic-p for XEmacs
Diffstat (limited to 'generic')
| -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 ;;; |