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-20 14:45:44 +00:00
Code
Releases
Wiki
Activity
Files
00b15c19b7adcad21465f731f76e1888f1553da2
godot
/
editor
/
plugins
/
script_text_editor.h
allkhor
0137ec3468
Hide the warnings panel when no warnings presents.
2019-02-13 17:01:21 +06:00
6.4 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink
