Commit graph

9 commits

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