Fix some bugs in the navigator. Allow for a less restrictive collapse of the navigator levels. Three modes are easily supported by navigator's tree-view-like thing now: exploded, selected only, and selected + selected parent's immediate children visible (but collapsed).