16 Commits

Include renames

Author	SHA1	Message	Date
Eugene	d33ba48302	clean up the plugin manager	2026-07-13 10:41:19 +02:00
Varun Subramanyan	ff81afb7fb	fix: use switchMap instead of flatMap for plugin search to prevent st… (#11089)	2026-05-07 23:02:31 +02:00
Eugene	c8aea9d8e0	log exact errors when plugin install fails	2025-06-16 22:29:27 +02:00
Eugene Pankov	3b8ca0d592	lint	2023-04-10 21:21:49 +02:00
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