diff options
| author | David Giardi <david.giardi.eng@gmail.com> | 2023-03-11 14:30:55 +0100 |
|---|---|---|
| committer | David Giardi <david.giardi.eng@gmail.com> | 2023-05-30 19:19:39 +0200 |
| commit | a8fc343f80ad61e2ab3abc195eaf333efec99083 (patch) | |
| tree | 6cef6abd846ab16c92338cc04334f130b5f6f8b9 /platform/uwp/export/export_plugin.cpp | |
| parent | 6101240231600c871f5c5473872532c68ea3268c (diff) | |
| download | redot-engine-a8fc343f80ad61e2ab3abc195eaf333efec99083.tar.gz | |
Make main editor window border margin controllable by theme
Diffstat (limited to 'platform/uwp/export/export_plugin.cpp')
0 files changed, 0 insertions, 0 deletions