Restoring accidentally deleted line :-[ b=243027 r=varga sr=alecf
git-svn-id: svn://10.0.0.236/trunk@156147 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
parent
478062c497
commit
77c53bbae0
@ -313,6 +313,7 @@
|
|||||||
} catch (e) {}
|
} catch (e) {}
|
||||||
// Extend the selection from the existing pivot, if any
|
// Extend the selection from the existing pivot, if any
|
||||||
this.view.selection.rangedSelect(-1, c + 1, false);
|
this.view.selection.rangedSelect(-1, c + 1, false);
|
||||||
|
this.treeBoxObject.ensureRowIsVisible(c + 1);
|
||||||
]]>
|
]]>
|
||||||
</handler>
|
</handler>
|
||||||
<handler event="keypress" keycode="vk_up" modifiers="control">
|
<handler event="keypress" keycode="vk_up" modifiers="control">
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user