diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 5846a4ff..f0ba4fce 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -197,6 +197,8 @@ On windows: - mred:get-file and mred:put-file now take a parent window as optional last argument. +- added kill-protect and kill-allow-protected to mred:console-edit% + - the collection paths are not normalized anymore - fixed bugs in the meta-u and meta-l keybindings