popcode
popcode copied to clipboard
Expanding an editor should focus it
If an editor is collapsed, and the coder expands it, it should automatically be focused (this is the natural expectation).
I think we can just use the existing ui.editors.requestedFocusedLine mechanism to do this.