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
2025-11-22 15:06:45 +00:00
Code
Releases
Wiki
Activity
Files
fcbb5213922829817b6ee76a15f1e4f7519b51d6
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
