2 Commits (49dfd72652219158df12fbcdcb48cef930a697ee)

Author	SHA1	Message	Date
Jeremy Tuloup	df4a6bfc55	Add the Settings Editor to the landing page (#6316) ... * Add the Settings Editor to the landing page * Fix tab panel tabs * Do not include JSON editor for now * Hide Settings Editor command from the menu * Update yarn.lock * Fix integrity * Fix yarn.lock and resolutions * Update yarn.lock * Allow adding and closing the settings editor * Do not include JSON editor for now * Update snapshots * More snapshot updates * More snapshot update * Fix resolutions	3 years ago
Nicolas Brichet	429e255abf	Adds a token on the notebook tree widget, in order to easily add widgets in it from external extension	4 years ago