mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-06 11:35:24 +08:00
3578e8f1e5
streamlines the menu from #7667 with - Shorter text, with icons. - Main checkbox no longer opens the dropdown. Instead it just selects all/none. - Fewer menu items but more actions possible by adding checkboxes in the menu - Menu stays open until clicking outside. This obviously needs CSS tweaking |
||
---|---|---|
.. | ||
html | ||
nbconvert/exporters | ||
qt/console/tests | ||
testing | ||
utils |