Collapse file navigator nodes and set focus on first visible node
force refresh workspace in navigator
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.
widget file resource of which should be revealed and selected