This website requires JavaScript.
Explore
Help
Sign In
godotengine
/
godot
Watch
1
Star
0
Fork
0
You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced
2026-01-03 19:11:41 +00:00
Code
Releases
Wiki
Activity
Files
d0c1dd16ee101fa51448c896372cbfa487705ee4
godot
/
editor
/
editor_themes.cpp
David Giardi
a8fc343f80
Make main editor window border margin controllable by theme
2023-05-30 19:19:39 +02:00
122 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink
