Refresh Topicmaps menu on workspace select (#592).

When selecting a workspace: a) the Topicmaps menu shows only the topicmaps assigned to the selected workspace and b) selects the topicmap that was previously selected for that workspace.

When selecting a workspace the corresponding workspace topic is not revealed anymore. That was just a workaround.

See #592.