aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-response.el
AgeCommit message (Expand)Author
2012-09-25Fixed a bug in three windows mode.Pierre Courtieu
2012-09-24Fixed docstring of proof-layout-windows for two columns mode.Was notPierre Courtieu
2012-09-24Fixing a docstring.Pierre Courtieu
2012-09-24Completing the possible layouts of proof-layout-windows (added the 3Pierre Courtieu
2012-09-05Fixed double hit terminator. Now it is disabled by default, andPierre Courtieu
2012-08-31 Three windows mode is back as the default mode.Pierre Courtieu
2012-08-31Changed the behaviour of proof-layout-windows. Now it follows thePierre Courtieu
2012-08-16Add option proof-layout-windows-on-visit-file, addressing Trac #444David Aspinall
2012-06-04hide cursor in non-selected *goals* and *response* buffersHendrik Tews
2012-01-10Tweak message and display model, in particular, make sure that when aDavid Aspinall
2011-01-31Improve handling of trace buffer and tracing slow mode.David Aspinall
2010-08-26Move erase-buffer from associate buffer mode functions, allowing clone-buffer...David Aspinall
2010-08-25Fixed my last commit where compilation was broken. (function put atPierre Courtieu
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
2010-08-17pg-response-has-error-location: save point in response bufferDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-07-08Cleanups for save-excursion to avoid warnings in latest Emacs versionsDavid Aspinall
2009-10-15Keep response and trace buffer read-only, except when changingDavid Aspinall
2009-09-26proof-display-three-b: avoid giving strange behaviour if some buffers are not...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-08pg-response-display-with-face: remove update of `proof-shell-last-output'David Aspinall
2009-09-06pg-response-maybe-erase: inhibit read onlyDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2008-08-03pg-response-display: disable subterm markup removalDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-05Revert cursor hide in goals and response to avoid user confusion; use bar cur...David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-16Revert 8.18: font-lock-append-text-property merges faces better.David Aspinall
2008-01-15pg-response-display: use add-text-properties instead of font-lock-append-text...David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...David Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-09-06Use button2 instead of button1 for pg-goals-button-actionDavid Aspinall
2007-08-19Only analyse structure for region of appended textDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-05-26Add C-g watcher for trace bufferDavid Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-04-27condition-case -> unwind-protectDavid Aspinall
2004-04-27Add optional (prefix) arg to proof-layout-windows.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 15:48:43 +0000