diff --git a/src/ThemeManager.cpp b/src/ThemeManager.cpp index 25e50cf5b4..0f85afcf5c 100644 --- a/src/ThemeManager.cpp +++ b/src/ThemeManager.cpp @@ -688,7 +688,7 @@ try_element_again: RString sNewClassName, sNewFile; FileNameToMetricsGroupAndElement(sNewFileName, sNewClassName, sNewFile); - + /* Important: We need to do a full search. For example, BG redirs in * the default theme point to "_shared background", and themes override * just "_shared background"; the redirs in the default theme should end