[Feat]: Custom Menu Button
What is your suggestion?
Functionality to add custom buttons to the menu. In my case, just a link would be good.
Why do you want this feature?
For me, I am using Auth0 and a proxy in front of code-server. The user can log out by going to /admin/logout. I would like to add a button inside of code-server that links to this. I can also imagine that others can find uses of custom menu buttons, that I don't need.
Are there any workarounds to get this functionality today?
Not that I am aware of
Are you interested in submitting a PR for this?
Not had a chance to look into how it works. Possibly, but I imagine this is beyond my level.
I have a similar need : I use code-server as one of many tools in a common platform (along JupyterLab and other custom web tools) and I would like to include links to other tools in the menu for a seamless user experience.
The capability to define some (1 to 5) custom icon redirecting to fixed URL would be very useful.
I think maybe doing this with an extension would make sense. Could throw it in the builtin extensions directory. At least, I think extensions can add menu items?