|
fonts
|
Remove unneeded font changing code
|
2021-12-03 02:39:10 +02:00 |
|
graphics
|
Made pixel perfect into a global tool option
|
2022-02-28 19:24:14 +02:00 |
|
layouts
|
Translate the panel tab names
|
2022-03-10 19:17:28 +02:00 |
|
themes
|
Add a clear_color property to the themes
|
2022-02-21 18:44:46 +02:00 |
