Finish first version of workspace browser filter settings UI.

 - Those settings that _are_ stored, are stored implicitly, rather than on a settings page.
 - Separate settings for worksapce browser tool window and varselectors.
 - For varselectors, filter widget is available from the context menu.