You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Tuloup 251e0e3606 Add the plugin manager (#7198) ... * Add the pluginmanager * iterate * Parse info in app		2 years ago
..
menus.json	Close the browser tab when clicking on "Close and Shut Down Notebook" (#6937)	3 years ago
pages.json	Move menu items to the settings	4 years ago
shell.json	Add the plugin manager (#7198)	2 years ago
title.json	Switch to settings for other top bar items	4 years ago
top.json	Fix top bar visibility not picking up settings overrides (#6833) (#6836)	3 years ago
zen.json	Move menu items to the settings	4 years ago