Protected Readonly clipboardProtected Readonly commandProtected Readonly contextProtected Readonly fileProtected Readonly fileProtected Readonly menuProtected Readonly navigatorProtected Readonly openProtected Readonly openerProtected Readonly preferenceProtected Readonly quickProtected Readonly selectionProtected Readonly tabbarProtected Readonly workspaceProtected Readonly workspaceProtected Readonly workspaceProtected editorProtected doProtected getProtected initProtected onPrivate onReveals and selects node in the file navigator to which given widget is related. Does nothing if given widget undefined or doesn't have related resource.
widget file resource of which should be revealed and selected
Protected withProtected with
Collapse file navigator nodes and set focus on first visible node