3 Commits (f9e427cf4e92dbaa5794fe0331ca92b41d45d52c)

Author	SHA1	Message	Date
Jeremy Tuloup	e7b5c3701b	File browser CSS tweaks (#6738) ... * File browser CSS tweaks * Set tabsMovable to false * Style file browser buttons * Add missing headers * Update Playwright Snapshots * Update Playwright Snapshots * Lint --------- Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>	3 years ago
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