Should hide/disable menu items applicable to workspaces when no workspace is present

[vince-fugnitto]

General issue with Theia to hide/disable menu items which are in the context of a workspace when no workspace is currently present.

Menu items such as:

• File > Open Workspace Preferences
• File > Save
• File > Save All
• Edit > Cut
• Edit > Copy
• Edit > Paste
• Edit > Search in Workspace
• etc.

do not have meaning or value when no workspace is present, and thus should be hidden or disabled to avoid confusion.

[akosyakov]

a dup of #446?

[kittaakos]

a dup of #446?

Sort of, for sure we cannot do much with the Electron application menu this point. But we have some glitches in the browser-based application too, I have just tried it. For instance, w/o a workspace we should not enable Search in Workspace.

Also; Save, Save All and Open Workspace Preferences should be disabled too.
But I disagree with Cut/Copy/Paste; one can open a terminal w/o a WS and use these commands.