From d9ee4d600f9a4f339f60fdf5cbc7fe5e95ed5dcc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 13 Sep 2013 21:44:08 -0500 Subject: [PATCH] adjust esc;w so that it clears the anchor original commit: c0462d0fed6d37c1f038dde141021f63505902b5 --- pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt index cf45f6d5..12c8e349 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt @@ -653,6 +653,11 @@ (λ (edit event) (send edit copy #f (send event get-time-stamp)))] + [mouse-copy-clipboard/disable-anchor + (λ (edit event) + (send edit set-anchor #f) + (send edit copy #f (send event get-time-stamp)))] + [mouse-paste-clipboard (λ (edit event) (send edit paste (send event get-time-stamp)))] @@ -1112,6 +1117,7 @@ (add "keyboard-macro-end-record" end-macro) (add-m "copy-clipboard" mouse-copy-clipboard) + (add-m "copy-clipboard/disable-anchor" mouse-copy-clipboard/disable-anchor) (add-m "cut-clipboard" mouse-cut-clipboard) (add-m "paste-clipboard" mouse-paste-clipboard) (add-m "copy-click-region" copy-click-region) @@ -1278,7 +1284,7 @@ (map "c:w" "cut-clipboard") (map "a:x" "cut-clipboard") (map "d:x" "cut-clipboard") - (map-meta "w" "copy-clipboard") + (map-meta "w" "copy-clipboard/disable-anchor") (map "a:c" "copy-clipboard") (map "d:c" "copy-clipboard")