Sylvie Crowe 040bcf49b7 Remove Tips Modal (#393) ... This tips modal wasn't discovered often enough in tests, so we are removing it.		2024-09-17 14:29:44 -07:00
..
defaultconfig.go	new config system (#283)	2024-08-27 18:49:49 -07:00
defaultwidgets.json	new config system (#283)	2024-08-27 18:49:49 -07:00
mimetypes.json	Mimetype Quick Fixes (#359)	2024-09-10 13:23:02 -07:00
presets.json	new config system (#283)	2024-08-27 18:49:49 -07:00
settings.json	Remove Tips Modal (#393)	2024-09-17 14:29:44 -07:00
termthemes.json	add monokai, make themes more generic -- display:name/display:order	2024-08-29 21:35:33 -07:00