diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-22 12:48:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-22 12:48:59 +0200 |
| commit | ac765fd5182d0aec4c68da41a23cef2322ea92b6 (patch) | |
| tree | eddb375c0b4bf62d5515d413e5e605394e376a68 /tools/editor/editor_settings.h | |
| parent | cf3ba3379f6888aa9520ce20b8121216cf5ba09b (diff) | |
| parent | a84a46176729ffab82703bdff62fcde73dd6477d (diff) | |
Merge pull request #6710 from lordadamson/master
fix #6031 when creating a script the default language will be what yo…
Diffstat (limited to 'tools/editor/editor_settings.h')
| -rw-r--r-- | tools/editor/editor_settings.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/editor/editor_settings.h b/tools/editor/editor_settings.h index 2a7d3bb4f0..a976602304 100644 --- a/tools/editor/editor_settings.h +++ b/tools/editor/editor_settings.h @@ -160,6 +160,9 @@ public: void set_optimize_save(bool p_optimize); + String get_last_selected_language(); + void set_last_selected_language(String p_language); + EditorSettings(); ~EditorSettings(); |