diff options
Diffstat (limited to 'WebCore/page/Settings.h')
| -rw-r--r-- | WebCore/page/Settings.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/WebCore/page/Settings.h b/WebCore/page/Settings.h index abf0699..8d02d7c 100644 --- a/WebCore/page/Settings.h +++ b/WebCore/page/Settings.h @@ -376,6 +376,9 @@ namespace WebCore { void setPaginateDuringLayoutEnabled(bool flag) { m_paginateDuringLayoutEnabled = flag; } bool paginateDuringLayoutEnabled() const { return m_paginateDuringLayoutEnabled; } + void setMemoryInfoEnabled(bool flag) { m_memoryInfoEnabled = flag; } + bool memoryInfoEnabled() const { return m_memoryInfoEnabled; } + private: Page* m_page; @@ -496,6 +499,7 @@ namespace WebCore { bool m_html5TreeBuilderEnabled: 1; // Will be deleted soon, do not use. bool m_paginateDuringLayoutEnabled : 1; bool m_dnsPrefetchingEnabled : 1; + bool m_memoryInfoEnabled: 1; #ifdef ANDROID_PLUGINS bool m_pluginsOnDemand : 1; #endif |