|
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 |
|