icons
|
Allow themes to customize the icons
|
2022-07-10 03:31:17 +02:00 |
rc
|
GUI: working style selection
|
2020-07-11 18:28:25 +02:00 |
index.theme
|
Allow themes to customize the icons
|
2022-07-10 03:31:17 +02:00 |
style.css
|
Dark theme: fix several visibility issues
|
2023-09-08 00:03:33 +07:00 |
style.ini
|
Dark theme: fix several visibility issues
|
2023-09-08 00:03:33 +07:00 |