diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-14 17:28:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-14 17:28:11 +0100 |
| commit | 4a41367949bbb3086599fe845ff2d8e17f585931 (patch) | |
| tree | bdf6839d7d35bd2e85ed009a527322e55526a266 /editor | |
| parent | f5f3f440f165d913279cc2cbb68d2483bf855d72 (diff) | |
| parent | 011fdece6d5a6570512b5b6fd112183363c7c318 (diff) | |
Merge pull request #42784 from mujpao/search-results-font-size-4.0
Make search results font follow code editor font
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/find_in_files.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/find_in_files.cpp b/editor/find_in_files.cpp index c2f2254023..27e539d71c 100644 --- a/editor/find_in_files.cpp +++ b/editor/find_in_files.cpp @@ -687,6 +687,9 @@ void FindInFilesPanel::stop_search() { void FindInFilesPanel::_notification(int p_what) { if (p_what == NOTIFICATION_PROCESS) { _progress_bar->set_as_ratio(_finder->get_progress()); + } else if (p_what == NOTIFICATION_THEME_CHANGED) { + _search_text_label->add_theme_font_override("font", get_theme_font("source", "EditorFonts")); + _results_display->add_theme_font_override("font", get_theme_font("source", "EditorFonts")); } } |