diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-23 15:12:53 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-23 15:13:50 +0200 |
| commit | 364dfa8d281f21bd80846aeba5fa0aa1369e93be (patch) | |
| tree | 9a9a33a3a12af9d47b488063b89d63a505e9f43f | |
| parent | 159470df08c0283a2330af94d26ccbe3d009d8fd (diff) | |
Add some missing feature tags to the "Override For..." menu
This closes https://github.com/godotengine/godot-docs/issues/2782.
| -rw-r--r-- | editor/project_settings_editor.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/project_settings_editor.cpp b/editor/project_settings_editor.cpp index edc14ccf71..91ce256be5 100644 --- a/editor/project_settings_editor.cpp +++ b/editor/project_settings_editor.cpp @@ -1007,8 +1007,12 @@ void ProjectSettingsEditor::_copy_to_platform_about_to_show() { presets.insert("pvrtc"); presets.insert("debug"); presets.insert("release"); + presets.insert("editor"); + presets.insert("standalone"); presets.insert("32"); presets.insert("64"); + // Not available as an export platform yet, so it needs to be added manually + presets.insert("Server"); for (int i = 0; i < EditorExport::get_singleton()->get_export_platform_count(); i++) { List<String> p; |