ui.gadgets.panes: Shift-clicking to extend the selection in a pane should not focus the pane's input area
parent
8c3c007d8e
commit
d108324f19
|
@ -397,8 +397,8 @@ M: f sloppy-pick-up*
|
||||||
] [ drop ] if ;
|
] [ drop ] if ;
|
||||||
|
|
||||||
: end-selection ( pane -- )
|
: end-selection ( pane -- )
|
||||||
f >>selecting?
|
dup selecting?>> hand-moved? or
|
||||||
hand-moved?
|
[ f >>selecting? ] dip
|
||||||
[ [ com-copy-selection ] [ request-focus ] bi ]
|
[ [ com-copy-selection ] [ request-focus ] bi ]
|
||||||
[ [ relayout-1 ] [ focus-input ] bi ]
|
[ [ relayout-1 ] [ focus-input ] bi ]
|
||||||
if ;
|
if ;
|
||||||
|
|
Loading…
Reference in New Issue