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