Chromium Code Reviews| 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; |