diff options
| author | Rémi Verschelde | 2017-08-27 21:07:15 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2017-08-27 22:13:45 +0200 |
| commit | 7ad14e7a3e6f87ddc450f7e34621eb5200808451 (patch) | |
| tree | 8804d0dd24cc126087462edfbbbf73ed61b56b0e /editor/editor_settings.h | |
| parent | 37da8155a4500a9386027b4d791a86186bc7ab4a (diff) | |
| download | godot-7ad14e7a3e6f87ddc450f7e34621eb5200808451.tar.gz godot-7ad14e7a3e6f87ddc450f7e34621eb5200808451.tar.zst godot-7ad14e7a3e6f87ddc450f7e34621eb5200808451.zip | |
Diffstat (limited to 'editor/editor_settings.h')
| -rw-r--r-- | editor/editor_settings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/editor_settings.h b/editor/editor_settings.h index 45a6207eb..177ec4760 100644 --- a/editor/editor_settings.h +++ b/editor/editor_settings.h @@ -35,7 +35,7 @@ #include "core/io/config_file.h" #include "os/thread_safe.h" #include "resource.h" -#include "scene/gui/input_action.h" +#include "scene/gui/shortcut.h" #include "translation.h" class EditorPlugin; |
