11 commits

Author	SHA1	Message	Date
Mylloon	567b04765d	tmp: gnome 45	2023-10-11 09:16:53 +02:00
Mylloon	abd1c2ffc9	use monokai instead of default (its the same theme)	2023-09-18 14:20:40 +02:00
Mylloon	7cbf010d72	change micro theme accordingly to the system theme	2023-09-18 09:57:12 +02:00
Mylloon	3b3c3e89af	refactor quotes ... double instead of simple quote when possible	2023-09-13 22:48:07 +02:00
Mylloon	ecf82e23fb	use custom comment color, as before!	2023-09-13 21:47:07 +02:00
Mylloon	6df2a46612	Hot-reload terminal theme	2023-09-13 14:22:11 +02:00
Mylloon	aebd090b79	cleanup	2023-09-13 14:10:13 +02:00
Mylloon	9744541d51	tab	2023-09-13 14:02:39 +02:00
Mylloon	2de7d6cff4	fix issues when retrieving profiles UUID	2023-09-13 13:55:54 +02:00
Mylloon	3c1ce4fccc	add theme support for gnome terminal	2023-09-13 13:43:40 +02:00
Mylloon	00ba181522	Add a script who perform all the things to do when we're changing theme	2023-09-13 13:28:57 +02:00