Reveals 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.
Parameters
widget: undefined | Widget
widget file resource of which should be revealed and selected
Collapse file navigator nodes and set focus on first visible node