From 982af508367c4400e1c17f5f07f74e7374c57a42 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 3 May 2001 22:29:40 +0000 Subject: change for Emacs compatibility and FSF/Xemacs update. Copyright update. --- generic/proof-splash.el | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 9e4c9754..f8573bbd 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -1,6 +1,6 @@ ;; proof-splash.el -- Splash welcome screen for Proof General ;; -;; Copyright (C) 1998 LFCS Edinburgh. +;; Copyright (C) 1998-2001 LFCS Edinburgh. ;; Author: David Aspinall ;; Maintainer: Proof General maintainer ;; @@ -161,8 +161,11 @@ Borrowed from startup-center-spaces." (proof-splash-remove-screen (cdr proof-splash-timeout-conf))) ;; Make sure timeout is stopped (disable-timeout (car proof-splash-timeout-conf)) - (if (input-pending-p) - (setq unread-command-event (next-command-event))) + (if (and (input-pending-p) + (fboundp 'next-command-event)) ; 3.3: this function + ; disappeared from emacs, sigh + (setq unread-command-events + (cons (next-command-event) unread-command-events))) (remove-hook 'proof-mode-hook 'proof-splash-timeout-waiter)) (provide 'proof-splash) -- cgit v1.2.3