Theia: [Feature Request] Add permanent configurable toolbar

[ronnyek]

Description

VSCode engineers / governing team seem insistent on not having any form of toolbar, and regardless of how many issues were opened only to be closed, ignored, expired, etc. (like https://github.com/microsoft/vscode/issues/41309), but based on the number of people that have requested, its clearly something that would add value to at least some developers lives.

Feature could be something that was opt in, and I think it'd benefit people across the board.

There are extensions that allow you to make shortcuts in the statusbar, but its cramped, and that feels like a bit of a UX no no, in addition to being a bit of hack in the first place. I for one can't remember all the tool/extension shortcuts for the command bar... don't even remember what to search for half of the time.

Being that this project appears to try and fix problems with vscode project itself, is this something that would at least be considered? If someone built a PR that was of quality and didn't hugely break integration bits in the future, is it possible it would be considered for inclusion?

[vince-fugnitto]

@ronnyek thank you for the issue!

I believe the proposal for the framework to include the possibility of creating a toolbar from which extensions can contribute to (similarly to the statusbar) would be a welcomed feature. Almost all major IDEs have such toolbars and updating the framework to include a configurable toolbar would be most welcome.

I believe that if the initial contribution is of quality, and is not breaking like you've mentioned, we can definitely consider it for inclusion. However, I believe that the toolbar should be highly customizable and still opt-in for applications based on Theia to include it or not.

_Additional Information_:

Arduino Pro IDE which is based on Theia has a toolbar present already:

[akosyakov]

I am not sure about including it in the Theia framework. For instance, we embrace VS Code decisions by default. If they don't have such toolbar and no extension contributing anything to it. What should we include there?

End products can have a toolbar though. There can be a show-case product with custom extension showing how it could be done.