diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-10-14 00:48:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-10-14 00:48:41 +0000 |
commit | 0b518a557ac527837494e97cf7a315e123d16d3b (patch) | |
tree | f980cfca0a4241275be48a3641ee063f6d805d93 /generic/pg-user.el | |
parent | 8d0c17bd09c3b5a67c7752b13198c58e9b8ca10d (diff) |
Whitespace
Diffstat (limited to 'generic/pg-user.el')
-rw-r--r-- | generic/pg-user.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 650cfc11..0a6a2522 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1315,7 +1315,7 @@ removed if it matches the last item in the ring." (define-key proof-mode-map [remap advertised-undo] 'pg-protected-undo) (defun pg-protected-undo (&optional arg) - "Behaves as `undo' unless undo would edit the locked region. + "Behaves as `undo' unless undo would edit in the locked region. In this case, undo is only allowed in the unlocked region, unless `proof-allow-undo-in-read-only' is set. |