aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-splash.el
AgeCommit message (Collapse)Author
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
to fix #472
2012-01-14lower cpu utilization of splash screen, see Debian bug #642048Hendrik Tews
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵David Aspinall
interactive-p with called-interactively-p)
2010-10-06No compile warning if image-size not availableDavid Aspinall
2010-08-22Fix bug in define-key for mouse-3.David Aspinall
2010-08-11Revert to 10.1 version of splash, with enhancements.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03Temporarily disable splashDavid Aspinall
2009-09-07Attempt to handle splash buffer cleanly.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Further simplificationDavid Aspinall
2009-09-04Simplify splash using view-mode and newer Emacs variables.David Aspinall
Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
2008-08-03Add links to splash menuDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-17Splash for a bit longer: people complain its too shortDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2007-12-12Remove low color-depth images; use GNU Emacs-specific toolbar imagesDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-09Update bug report locationsDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support ↵David Aspinall
more Emacs ports easily
2005-07-15Add proof-general-version-yearDavid Aspinall
2005-07-15Missing proof-compat in proof-splashDavid Aspinall
2005-02-13Add patch by Stefan Monnier to revert frame titles (although would have ↵David Aspinall
liked to keep them maybe)
2004-08-25Use proof-general-short-versionDavid Aspinall
2004-04-16Spurious "'sDavid Aspinall
2004-04-15Set frame title format to [Prover] Proof General: buffer.David Aspinall
2004-02-18Update (C)David Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-06-13Check display is really available: XEmacs now defines device-pixel-depth ↵David Aspinall
even on terminals.
2003-03-17Bury splash buffer instead of merely switching away from it.David Aspinall
2003-03-16Improve removal of display of splash screen. Buffer still not killed ↵David Aspinall
(XEmacs prob)
2003-03-14Kludge for key-press during loading problem with splash screen.David Aspinall
2003-03-10Update datesDavid Aspinall
2003-03-06Fix Non-X frame error on Emacs 21David Aspinall
2002-08-30Dont restore window config if it seems like a different frame was used.David Aspinall
2002-08-29Try to avoid old setting proof-splash-extensions.David Aspinall
2002-08-29Make proof-splash-extensions defconst instead of defcustomDavid Aspinall
2002-08-28Disable pop-up-frames for splash.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-06-30Robustify form GNU EmacsDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2001-12-11Add support for Emacs 21 image display.David Aspinall
2001-08-28Remove dependent setting of timeout, since bin calls different fn now.David Aspinall
2001-08-28TrivialDavid Aspinall
2001-08-28Remove mention of toolbar variable. Make timeouts vary according to how ↵David Aspinall
started.
2001-08-28Timeout happens as intended now, while loading some parts of PG.David Aspinall
2001-07-25*** empty log message ***Christophe Raffalli
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 12:43:10 +0000