Notebook toolbar cluttered with default extensions

[SylvainCorlay]

The notebook toolbar in binder includes buttons from several extensions installed by default, so much that the debugger toggle does not fit in the available space.

I think that it would make sense to remove some of the textual content by the icons from this toolbar (Download, GitHub, and Binder).

[manics]

Removing the text labels is easy in
https://github.com/manics/jupyter-offlinenotebook/blob/4a41110958cf55c26304371ed440213c7a7914e2/src/index.ts#L61-L137

Removing the GitHub and Binder icons is probably OK (though note the GitHub icon changes depending on the source repo). I'm not sure about the Download button though based on previous discussions:

• Making the buttons easier to grok manics/jupyter-offlinenotebook#18
• Attempt to make buttons clearer manics/jupyter-offlinenotebook#21

In general I think we're a bit lacking in JuptyterLab UI expertise. If you were to re-write the extension from scratch what would you do differently?

[SylvainCorlay]

Thanks!

I think that it would be enough to make the buttons smaller by removing the "Download", "GitHub", and "Binder" text.

My remark was more of a design/ux question than a technical question.

[betatim]

Is it possible to have a "dropdown menu" style button in the toolbar? That way we could save space and have icon + text for the buttons. WDYT?

[SylvainCorlay]

Proposal, as this was discussed today again:

• completely remove the extension adding the "download" button in the toolbar, since the functionality is already available in the left side panel. If this is not considered OK, remove the "Download" text that is next to it.
• I would also remove the extension to share and restore from local storage. This seems like an interesting functionality, but electing it as being always installed seems unnecessary.
• Remove the caption by the GitHub and Binder buttons.

Before:

After: