godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-21 14:57:09 +00:00
Code Releases Wiki Activity
Files
335b51be70e5b45ad14c6931435cb2c24717f0e6
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde c80540f9a2 Merge pull request #63700 from YeldhamDev/no_methods_to_filter_pal 
Hide method filter bar when selecting a doc in the Script editor
2022-08-06 00:39:30 +02:00

134 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink