diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 23:50:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 23:50:19 +0000 |
commit | 78ac44da03953b694fd36b2801e46abf5f07fc24 (patch) | |
tree | ba8e8e34f53229d5f43ca01c1080d3872d8d385a /CHANGES | |
parent | 575bd0d2c4221986b29317cd1cc3fb3185e46531 (diff) |
pg-protected-undo change
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -28,7 +28,9 @@ Basic movie output for Proviola, see http://mws.cs.ru.nl/proviola *** Improved prevention of Undo in locked region - proof-allow-undo-in-read-only: now defaults to nil + With thanks to Erik Martin-Dorel and Stefan Monnier. + Undo in read only region follows `proof-strict-read-only' and + gives the user the chance to allow edits by retracting first. *** Simplified version of comint now used for proof shell To improve efficiency, a cut-down version of comint is now used. |