| 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;
|
|
|