nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-02-24 12:50:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
13c8a9890d925fccd7a7988c63bc4867ed81ddeb
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde e359eaf451 Merge pull request #74319 from jbuck3/script-file-menu 
Re-enable script editor File menu shortcuts when the menu is hidden
2023-04-03 16:00:17 +02:00

137 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink