From 0543d1a577615b791fa7d2c5c2cd27d7002bf175 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 26 Nov 2013 14:26:54 -0600 Subject: [PATCH] add a shortcut to file|revert original commit: 6bac145851f4261335c93dddc4b1597dc937310e --- .../gui-lib/framework/private/standard-menus-items.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/standard-menus-items.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/standard-menus-items.rkt index 557b3e1c..05e6fe09 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/standard-menus-items.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/standard-menus-items.rkt @@ -227,8 +227,8 @@ (make-an-item 'file-menu 'revert '(string-constant revert-info) '(λ (item control) (void)) - #f - '(get-default-shortcut-prefix) + #\e + '(cons 'shift (get-default-shortcut-prefix)) '(string-constant revert-menu-item) on-demand-do-nothing #f)