|
|
554d419836
|
Fix theme options in project manager incorrectly using translated text
|
2025-01-14 10:32:24 +08:00 |
|
|
|
f241c1fda0
|
Remove unused header in editor.
Co-authored-by: A Thousand Ships <96648715+AThousandShips@users.noreply.github.com>
|
2024-12-24 00:40:38 +08:00 |
|
|
|
7343dc3a5d
|
Split TranslationServer into its own file
|
2024-08-15 15:00:47 +08:00 |
|
|
|
eaf85e6582
|
Enable the display scale option in the Project manager's quick settings dialog
|
2024-08-02 12:58:06 -07:00 |
|
|
|
8041dc6a55
|
Make project naming setting available in project manager
|
2024-06-21 15:53:06 +02:00 |
|
|
|
d9e2fc74c7
|
[Scene] Add SceneStringNames::item_selected
|
2024-06-19 09:39:05 +02:00 |
|
|
|
d519715d94
|
[Scene] Add SceneStringNames::font(_size/_color)
|
2024-06-18 17:24:27 +02:00 |
|
|
|
926afccbd8
|
[Scene] Add SceneStringNames::panel
|
2024-05-30 22:54:50 +02:00 |
|
|
|
ee79386f7b
|
[Scene] Add SceneStringNames::pressed
|
2024-05-14 15:51:28 +02:00 |
|
|
|
068c0d2699
|
Implement a quick settings dialog for the project manager
Currently it allows to adjust language, theme preset,
UI scaling, and network mode.
Project manager has been updated to support
dynamic theme updates.
|
2024-01-30 17:52:19 +01:00 |
|
