Index: Source/core/page/Settings.h |
diff --git a/Source/core/page/Settings.h b/Source/core/page/Settings.h |
index e391fec1f50b36ef9bdff211727b4dbdfa834d8d..4d25057c398ae549b32f02dc9fac9999fd7e7d19 100644 |
--- a/Source/core/page/Settings.h |
+++ b/Source/core/page/Settings.h |
@@ -127,6 +127,9 @@ public: |
void setImagesEnabled(bool); |
bool areImagesEnabled() const { return m_areImagesEnabled; } |
+ void setMediaLoadingEnabled(bool); |
+ bool isMediaLoadingEnabled() const { return m_isMediaLoadingEnabled; } |
+ |
void setPluginsEnabled(bool); |
bool arePluginsEnabled() const { return m_arePluginsEnabled; } |
@@ -179,6 +182,7 @@ private: |
bool m_loadsImagesAutomatically : 1; |
bool m_areImagesEnabled : 1; |
bool m_arePluginsEnabled : 1; |
+ bool m_isMediaLoadingEnabled : 1; |
jochen (gone - plz use gerrit)
2013/10/22 08:25:31
i wouldn't introduce a new setting for this.
pwnall-personal
2013/10/22 11:56:18
Done.
Removed. Thank you!!
|
bool m_isScriptEnabled : 1; |
bool m_dnsPrefetchingEnabled : 1; |