public consumePendingOpen() as EditorView:
Consumes a pending open request produced by a double-click.