Merge pull request #42784 from mujpao/search-results-font-size-4.0

Make search results font follow code editor font
This commit is contained in:
Rémi Verschelde 2021-02-14 17:28:11 +01:00 committed by GitHub
commit 4a41367949
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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"));
}
}