diff options
Diffstat (limited to 'generic')
| -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. |