Boards/Library Manager menu item should not act as a toggle

[alranel]

When selecting the "Board Manager..." menu item in the Tools menu, it acts as a toggle: if the board manager is not visible it will show it, but if it's visible it will hide it. This may be a confusing behavior, because it's likely that if a user selects that menu item they always want to access the board manager (which can be in turn closed very easily from the GUI). As an alternative, a common UX pattern for menu items acting as toggles is to change their labels from "Show x" to "Hide x" and viceversa, but I'm not sure we want that.

Version used:
Version: 0.1.3-snapshot.8b47ce6
Date: 2021-01-28T09:48:49.137Z
CLI Version: nightly-20210128 alpha [283036fc]

[kittaakos]

This may be a confusing behavior

I agree. This is the default Theia behavior for all views. We could customize it easily.

As a user, I would expect

• the view opens and grabs the focus if was closed and
• grabs the focus if it was opened.

[ubidefeo]

As a user, I would expect

• the view opens and grabs the focus if was closed and
• grabs the focus if it was opened.

This is how it should work