aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-response.el
Commit message (Expand)AuthorAge
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove some Emacs <24.1 compatibility cruftGravatar Clément Pit--Claudel2017-03-08
* Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04
* fix 2 compilation warnings (fixes #33)Gravatar Hendrik Tews2016-11-30
* Ensure PG overlays have pg-span property (#98)Gravatar Tej Chajed2016-08-25
* Experimenting less brutal frame deletion.Gravatar Pierre Courtieu2015-11-13
* Cleaning code for auto width adapting.Gravatar Pierre Courtieu2015-11-13
* Trying to not delete frames too eagerly when laying out.Gravatar Pierre Courtieu2015-10-09
* Fixed a compilation issue + small display glitch in coqpgGravatar Pierre Courtieu2014-12-22
* Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Gravatar Pierre Courtieu2014-12-22
* Fixed response display spurious newlines for coq.Gravatar Pierre Courtieu2014-12-18
* * pg-response.el (proof-multiple-frames-enable, proof-next-error): Use newGravatar Stefan Monnier2014-06-02
* Fixed a bug in three windows mode.Gravatar Pierre Courtieu2012-09-25
* Fixed docstring of proof-layout-windows for two columns mode.Was notGravatar Pierre Courtieu2012-09-24
* Fixing a docstring.Gravatar Pierre Courtieu2012-09-24
* Completing the possible layouts of proof-layout-windows (added the 3Gravatar Pierre Courtieu2012-09-24
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* Three windows mode is back as the default mode.Gravatar Pierre Courtieu2012-08-31
* Changed the behaviour of proof-layout-windows. Now it follows theGravatar Pierre Courtieu2012-08-31
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* hide cursor in non-selected *goals* and *response* buffersGravatar Hendrik Tews2012-06-04
* Tweak message and display model, in particular, make sure that when aGravatar David Aspinall2012-01-10
* Improve handling of trace buffer and tracing slow mode.Gravatar David Aspinall2011-01-31
* Move erase-buffer from associate buffer mode functions, allowing clone-buffer...Gravatar David Aspinall2010-08-26
* Fixed my last commit where compilation was broken. (function put atGravatar Pierre Courtieu2010-08-25
* Fixed the bug of vertical window splitting when the size of the windowGravatar Pierre Courtieu2010-08-25
* pg-response-has-error-location: save point in response bufferGravatar David Aspinall2010-08-17
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Keep response and trace buffer read-only, except when changingGravatar David Aspinall2009-10-15
* proof-display-three-b: avoid giving strange behaviour if some buffers are not...Gravatar David Aspinall2009-09-26
* Clean compileGravatar David Aspinall2009-09-10
* pg-response-display-with-face: remove update of `proof-shell-last-output'Gravatar David Aspinall2009-09-08
* pg-response-maybe-erase: inhibit read onlyGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Revive sendback behaviour (using button1)Gravatar David Aspinall2009-05-26
* pg-response-display: disable subterm markup removalGravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Revert cursor hide in goals and response to avoid user confusion; use bar cur...Gravatar David Aspinall2008-07-05
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* Revert 8.18: font-lock-append-text-property merges faces better.Gravatar David Aspinall2008-01-16
* pg-response-display: use add-text-properties instead of font-lock-append-text...Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...Gravatar David Aspinall2007-12-14
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 21:34:13 +0000