From 31b7f02a29cdf4f1c30cfc37962f43f67380b9ad Mon Sep 17 00:00:00 2001 From: Hugo Locurcio Date: Fri, 19 Jun 2020 20:49:04 +0200 Subject: Remove ToolButton in favor of Button ToolButton has no redeeming differences with Button; it's just a Button with the Flat property enabled by default. Removing it avoids some confusion when creating GUIs. Existing ToolButtons will be converted to Buttons, but the Flat property won't be enabled automatically. This closes https://github.com/godotengine/godot-proposals/issues/1081. --- editor/editor_help_search.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'editor/editor_help_search.h') diff --git a/editor/editor_help_search.h b/editor/editor_help_search.h index f7dbc5c3ad..b37f74fd7e 100644 --- a/editor/editor_help_search.h +++ b/editor/editor_help_search.h @@ -54,8 +54,8 @@ class EditorHelpSearch : public ConfirmationDialog { }; LineEdit *search_box; - ToolButton *case_sensitive_button; - ToolButton *hierarchy_button; + Button *case_sensitive_button; + Button *hierarchy_button; OptionButton *filter_combo; Tree *results_tree; bool old_search; -- cgit v1.2.3