From ba60b894a21b95057fdb563a67fbddd81817dc56 Mon Sep 17 00:00:00 2001 From: AJ Kelly Date: Sat, 20 Aug 2011 03:32:16 -0500 Subject: [PATCH] minor change --- src/ThemeManager.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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