Create terminal main-menu item

[vince-fugnitto]

Fixes #3356
Fixes #2609

• Created new Terminal main menu item which encompasses both terminal and task commands
• Remove Task menu and instead placed the items under the new Terminal main-menu in their own separated category

• Fixed the ordering of the main-menu items to align with vscode

---

Reasons for Change

• Make the Terminal and its commands more discoverable for end-users
• Group related items together
• Align with vscode
• Easier to add more commands to both Terminal& Tasks

What is not included in the change

• Adding the Terminal menu item in the View main-menu

Signed-off-by: Vincent Fugnitto vincent.fugnitto@ericsson.com

[benoitf]

would be nice to have view terminal in view menu as well

[vince-fugnitto]

@benoitf I meant to tackle having the Terminal in the View menu as a separate PR.

As @marechal-p mentioned in #3356 we differ from vscode in our implementation of the Terminal widget. We can spawn multiple terminals and dock them separately in all different locations in Theia.
Because of that, what exactly would the command Terminal in the View widget perform if for instance we had multiple terminals each in different locations? Would you expect an exhaustive search of all docks and widgets to determine which are Terminals and then toggle them?

[svenefftinge]

would be nice to have view terminal in view menu as well

We should only have singleton views that are toggling their visibility in the view menu. Terminals in Theia are not 'views' in that sense.

[benoitf]

I think we should discuss view menu in another issue/PR