Skip to content

Make main editor window border margin controllable by theme#74767

Merged
YuriSizov merged 1 commit intogodotengine:masterfrom davthedev:main_margins_themeableMay 31, 2023
+6-2

Commits