diff options
| author | Yuri Sizov <11782833+YuriSizov@users.noreply.github.com> | 2023-05-31 12:37:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-31 12:37:15 +0200 |
| commit | 7b379b143805fc4996eda19b327f77414d13a0a4 (patch) | |
| tree | e7de1ddb4857fcb90f6b496eaaeea5dfaf581ba6 /modules/gdscript/gdscript_editor.cpp | |
| parent | 8d6c472f6a3fd0fbb029105b3fff87a10cbf367d (diff) | |
| parent | a8fc343f80ad61e2ab3abc195eaf333efec99083 (diff) | |
| download | redot-engine-7b379b143805fc4996eda19b327f77414d13a0a4.tar.gz | |
Merge pull request #74767 from davthedev/main_margins_themeable
Make main editor window border margin controllable by theme
Diffstat (limited to 'modules/gdscript/gdscript_editor.cpp')
0 files changed, 0 insertions, 0 deletions