Fix shift-drag losing focus in listener

2009-04-06 13:39:55 -05:00 · 2009-04-06 13:39:55 -05:00 · 37e5d502f1
parent 1d563edcd9
commit 37e5d502f1
1 changed files with 1 additions and 0 deletions
--- a/basis/ui/gadgets/editors/editors.factor
+++ b/basis/ui/gadgets/editors/editors.factor
@ -452,6 +452,7 @@ editor "caret-motion" f {

 editor "selection" f {
    { T{ button-down f { S+ } 1 } extend-selection }
+    { T{ button-up f { S+ } 1 } com-copy-selection }
    { T{ drag } drag-selection }
    { gain-focus focus-editor }
    { lose-focus unfocus-editor }