aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-response.el
AgeCommit message (Expand)Author
2019-06-03Process tags in the buffer rather than in stringsJim Fehrle
2019-06-01Add hook for coq diff-highlighting routineJim Fehrle
2019-05-31* coq/coq-diffs.el (coq-insert-tagged-text): Rework to avoid `aset`Stefan Monnier
2019-05-16Highlight diffs in goals and some error messagesJim Fehrle
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Remove some Emacs <24.1 compatibility cruftClément Pit--Claudel
2017-01-04Fixing #121 + avoid hiding user windows too much.Pierre Courtieu
2016-11-30fix 2 compilation warnings (fixes #33)Hendrik Tews
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2015-11-13Experimenting less brutal frame deletion.Pierre Courtieu
2015-11-13Cleaning code for auto width adapting.Pierre Courtieu
2015-10-09Trying to not delete frames too eagerly when laying out.Pierre Courtieu
2014-12-22Fixed a compilation issue + small display glitch in coqpgPierre Courtieu
2014-12-22Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Pierre Courtieu
2014-12-18Fixed response display spurious newlines for coq.Pierre Courtieu
2014-06-02* pg-response.el (proof-multiple-frames-enable, proof-next-error): Use newStefan Monnier
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:58:01 +0000