MeeseeksMachine 657f572a36 Backport PR #11198: Rename "JupyterLab Theme" to "Theme" (#11199) hace 3 años
..
palette.json a8dff39a1a Build menus from settings (#10254) hace 4 años
print.json a8dff39a1a Build menus from settings (#10254) hace 4 años
themes.json 657f572a36 Backport PR #11198: Rename "JupyterLab Theme" to "Theme" (#11199) hace 3 años
workspaces.json a8dff39a1a Build menus from settings (#10254) hace 4 años