diff options
| author | David Aspinall | 2001-05-03 22:29:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-03 22:29:40 +0000 |
| commit | 982af508367c4400e1c17f5f07f74e7374c57a42 (patch) | |
| tree | eaea0691890392b409ec4ac6dbbc37807b8dece8 /generic/proof-splash.el | |
| parent | 9aba96204a685ebfee49cfea1a8abe24d772da56 (diff) | |
change for Emacs compatibility and FSF/Xemacs update. Copyright update.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 9 |
1 files 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 <proofgen@dcs.ed.ac.uk> ;; @@ -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) |