Index: Source/core/page/Settings.h |
diff --git a/Source/core/page/Settings.h b/Source/core/page/Settings.h |
index 66edf55b6a0e34ca7616127ff9371a001a716ce2..7b3e8c26f1d087d7ba57de9df40c4d357233057a 100644 |
--- a/Source/core/page/Settings.h |
+++ b/Source/core/page/Settings.h |
@@ -139,9 +139,6 @@ public: |
void setDNSPrefetchingEnabled(bool); |
bool dnsPrefetchingEnabled() const { return m_dnsPrefetchingEnabled; } |
- void setUserStyleSheetLocation(const KURL&); |
- const KURL& userStyleSheetLocation() const { return m_userStyleSheetLocation; } |
- |
static void setMockScrollbarsEnabled(bool flag); |
static bool mockScrollbarsEnabled(); |
@@ -173,7 +170,6 @@ private: |
Page* m_page; |
String m_mediaTypeOverride; |
- KURL m_userStyleSheetLocation; |
ScriptFontFamilyMap m_standardFontFamilyMap; |
ScriptFontFamilyMap m_serifFontFamilyMap; |
ScriptFontFamilyMap m_fixedFontFamilyMap; |