12 Commits

Author	SHA1	Message	Date
Eugene Pankov	441f442915	typing fixes	2023-02-27 00:09:04 +01:00
Eugene	1e5cfd1d4b	bootstrap 5 WIP (#7891) ... New standard theme that follows your chosen terminal colors, Bootstrap 5 & Angular 15 upgrade	2023-02-26 20:42:31 +01:00
Eugene Pankov	98476df882	bumped eslint	2022-12-05 12:16:27 +01:00
Qiming-Liu	ddfe073cf8	feat: installed plugin search bar	2022-07-05 19:54:20 +02:00
Eugene Pankov	bc89774fbc	added missing strings	2022-04-01 12:51:53 +02:00
Eugene Pankov	ccf4f05437	disallow disabling the plugin manager - #5257	2021-12-22 22:36:06 +01:00
Eugene Pankov	92f5b5a4ae	plugin settings updates	2021-11-13 17:07:02 +01:00
Eugene Pankov	f0e96b5f8b	settings UI tweaks	2021-10-24 22:50:21 +02:00
Eugene Pankov	69115fb77a	experimental config sync	2021-07-24 16:31:32 +02:00
Eugene Pankov	403bafe0a2	lint	2021-07-06 21:47:15 +02:00
Eugene Pankov	636942ff86	updated rxjs imports	2021-07-06 09:43:16 +02:00
Eugene Pankov	43cd3318da	project rename	2021-06-29 23:57:04 +02:00