diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-09 19:54:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-09 19:54:52 +0200 |
commit | c294993d97bdb350d8a1e84a4050430fa973daed (patch) | |
tree | c2402e87c69a98e909f4026c8f7e238d3054ed2d | |
parent | 138004033753f68b2d803373d0a9d274db6abf54 (diff) | |
parent | 965b6ac2736dd7bac8686cd447f0e9430e020349 (diff) |
Merge pull request #18745 from DmitryKrutskikh/minor-fix-project-manager
Disable 'run' button if any project not selected
-rw-r--r-- | editor/project_manager.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/editor/project_manager.cpp b/editor/project_manager.cpp index 666f08cb2d..97d3a070ab 100644 --- a/editor/project_manager.cpp +++ b/editor/project_manager.cpp @@ -725,9 +725,11 @@ void ProjectManager::_update_project_buttons() { } } - erase_btn->set_disabled(selected_list.size() < 1); - open_btn->set_disabled(selected_list.size() < 1); - rename_btn->set_disabled(selected_list.size() < 1); + bool empty_selection = selected_list.empty(); + erase_btn->set_disabled(empty_selection); + open_btn->set_disabled(empty_selection); + rename_btn->set_disabled(empty_selection); + run_btn->set_disabled(empty_selection); } void ProjectManager::_panel_input(const Ref<InputEvent> &p_ev, Node *p_hb) { |