diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-26 08:03:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-26 08:03:41 +0200 |
commit | da03791e454e27cda66248d72d85947a8493dcbd (patch) | |
tree | 7147acc3e315026fae1fdca7cd19b8c80c1df1ca | |
parent | 777f26fe29718a6609bea84f693ae96d8f22a01c (diff) | |
parent | 541c4bfd6ebd256a8b2ec321c1276575e7f2d56b (diff) |
Merge pull request #11598 from djrm/pr_fix_code_editor_close
Fix missing code editor find and replace missing hover icon.
[ci skip]
-rw-r--r-- | editor/code_editor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/code_editor.cpp b/editor/code_editor.cpp index 0e77d2097e..a7516c091f 100644 --- a/editor/code_editor.cpp +++ b/editor/code_editor.cpp @@ -86,7 +86,7 @@ void FindReplaceBar::_notification(int p_what) { find_prev->set_icon(get_icon("MoveUp", "EditorIcons")); find_next->set_icon(get_icon("MoveDown", "EditorIcons")); hide_button->set_normal_texture(get_icon("Close", "EditorIcons")); - hide_button->set_hover_texture(get_icon("CloseHover", "EditorIcons")); + hide_button->set_hover_texture(get_icon("Close", "EditorIcons")); hide_button->set_pressed_texture(get_icon("Close", "EditorIcons")); } else if (p_what == NOTIFICATION_VISIBILITY_CHANGED) { @@ -97,7 +97,7 @@ void FindReplaceBar::_notification(int p_what) { find_prev->set_icon(get_icon("MoveUp", "EditorIcons")); find_next->set_icon(get_icon("MoveDown", "EditorIcons")); hide_button->set_normal_texture(get_icon("Close", "EditorIcons")); - hide_button->set_hover_texture(get_icon("CloseHover", "EditorIcons")); + hide_button->set_hover_texture(get_icon("Close", "EditorIcons")); hide_button->set_pressed_texture(get_icon("Close", "EditorIcons")); } } |