From 7c46b1f723fee06ba1093db916f8ebd0c3428b89 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 6 Jul 2006 17:53:25 +0000 Subject: [PATCH] notes for 350.4 svn: r3628 original commit: 673866d9724bf9625baa8569e5ec75bf330bde0a --- doc/release-notes/mred/HISTORY | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/doc/release-notes/mred/HISTORY b/doc/release-notes/mred/HISTORY index eabc0ee0..0442f359 100644 --- a/doc/release-notes/mred/HISTORY +++ b/doc/release-notes/mred/HISTORY @@ -1,3 +1,19 @@ + +Version 350.4 +Changed the shortcut type for selectable-menu-item<%> to allow + key-code symbols +Added get-shortcut-prefix and set-shortcut-prefix to menu-item + to selectable-menu-item<%>, along with corresponding initialization + argument to menu-item% and checkable-menu-item% +Added get-default-shortcut-prefix +Removed get-x-shortcut-prefix and set-x-shortcut-prefix from + selectable-menu-item<%> +Added get-other-shift-key-code to key-event% +Added support for "?:" modifier to keymap state strings +Changed internal handling of keyboard events + +---------------------------------------- + Version 350, June 2006 Default max undo history for an editor<%> is 0; use set-max-undo-history to enable undo