Index: Source/core/page/Settings.cpp |
diff --git a/Source/core/page/Settings.cpp b/Source/core/page/Settings.cpp |
index 0746f6520b57d071fdbed82d701b2ddd4bb10013..b523868d42c0b455165846b679a1fee3e378a8a7 100644 |
--- a/Source/core/page/Settings.cpp |
+++ b/Source/core/page/Settings.cpp |
@@ -356,16 +356,6 @@ void Settings::setPluginsEnabled(bool arePluginsEnabled) |
m_arePluginsEnabled = arePluginsEnabled; |
} |
-void Settings::setUserStyleSheetLocation(const KURL& userStyleSheetLocation) |
-{ |
- if (m_userStyleSheetLocation == userStyleSheetLocation) |
- return; |
- |
- m_userStyleSheetLocation = userStyleSheetLocation; |
- |
- m_page->userStyleSheetLocationChanged(); |
-} |
- |
void Settings::setDNSPrefetchingEnabled(bool dnsPrefetchingEnabled) |
{ |
if (m_dnsPrefetchingEnabled == dnsPrefetchingEnabled) |