-
eric@webkit.org authored
Reviewed by Gustavo Noronha Silva. [GTK] Add enable-page-cache property to WebSettings for disabling the Page Cache * webkit/webkitwebsettings.cpp: (_WebKitWebSettingsPrivate::): (_WebKitWebSettingsPrivate::webkit_web_settings_class_init): (_WebKitWebSettingsPrivate::webkit_web_settings_set_property): (_WebKitWebSettingsPrivate::webkit_web_settings_get_property): (_WebKitWebSettingsPrivate::webkit_web_settings_copy): * webkit/webkitwebview.cpp: git-svn-id: http://svn.webkit.org/repository/webkit/trunk@52306 268f45cc-cd09-0410-ab3c-d52691b4dbfc
54a4a436