Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index 159e643e292bc32b5d01acd1a1fb5bbb2d0a59cd..426adb1d14f4f42189c870c89ecf1dbd06496f96 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -249,6 +249,10 @@ const wchar_t kPrintingPageHeaderRight[] = L"printing.page.header.right"; |
const wchar_t kPrintingPageFooterLeft[] = L"printing.page.footer.left"; |
const wchar_t kPrintingPageFooterCenter[] = L"printing.page.footer.center"; |
const wchar_t kPrintingPageFooterRight[] = L"printing.page.footer.right"; |
+#if defined(OS_LINUX) |
tony
2009/07/07 19:47:05
same thing about #if.
|
+// GTK specific preference on whether we should match the system GTK theme. |
+const wchar_t kUsesSystemTheme[] = L"extensions.theme.use_system"; |
+#endif |
const wchar_t kCurrentThemeID[] = L"extensions.theme.id"; |
const wchar_t kCurrentThemeImages[] = L"extensions.theme.images"; |
const wchar_t kCurrentThemeColors[] = L"extensions.theme.colors"; |