webkitwebsettingsprivate.h [plain text]
#ifndef webkitwebsettingsprivate_h
#define webkitwebsettingsprivate_h
#include "webkitwebsettings.h"
#include <wtf/text/CString.h>
extern "C" {
struct _WebKitWebSettingsPrivate {
CString defaultEncoding;
CString cursiveFontFamily;
CString defaultFontFamily;
CString fantasyFontFamily;
CString monospaceFontFamily;
CString sansSerifFontFamily;
CString serifFontFamily;
guint defaultFontSize;
guint defaultMonospaceFontSize;
guint minimumFontSize;
guint minimumLogicalFontSize;
gboolean enforce96DPI;
gboolean autoLoadImages;
gboolean autoShrinkImages;
gboolean respectImageOrientation;
gboolean printBackgrounds;
gboolean enableScripts;
gboolean enablePlugins;
gboolean resizableTextAreas;
CString userStylesheetURI;
gfloat zoomStep;
gboolean enableDeveloperExtras;
gboolean enablePrivateBrowsing;
gboolean enableSpellChecking;
CString spellCheckingLanguages;
gboolean enableCaretBrowsing;
gboolean enableHTML5Database;
gboolean enableHTML5LocalStorage;
CString html5LocalStorageDatabasePath;
gboolean enableXSSAuditor;
gboolean enableSpatialNavigation;
gboolean enableFrameFlattening;
CString userAgent;
gboolean javascriptCanOpenWindowsAutomatically;
gboolean javascriptCanAccessClipboard;
gboolean enableOfflineWebApplicationCache;
WebKitEditingBehavior editingBehavior;
gboolean enableUniversalAccessFromFileURIs;
gboolean enableFileAccessFromFileURIs;
gboolean enableDOMPaste;
gboolean tabKeyCyclesThroughElements;
gboolean enableDefaultContextMenu;
gboolean enableSiteSpecificQuirks;
gboolean enablePageCache;
gboolean autoResizeWindow;
gboolean enableJavaApplet;
gboolean enableHyperlinkAuditing;
gboolean enableFullscreen;
gboolean enableDNSPrefetching;
gboolean enableWebgl;
gboolean enableMediaStream;
gboolean enableWebAudio;
gboolean enableAcceleratedCompositing;
gboolean enableSmoothScrolling;
gboolean enableCSSShaders;
gboolean mediaPlaybackRequiresUserGesture;
gboolean mediaPlaybackAllowsInline;
gboolean enableDisplayOfInsecureContent;
gboolean enableRunningOfInsecureContent;
};
WEBKIT_API void webkit_web_settings_add_extra_plugin_directory(WebKitWebView*, const gchar* directory);
WEBKIT_API char* webkitWebSettingsUserAgentForURI(WebKitWebSettings*, const gchar* uri);
GSList* webkitWebViewGetEnchantDicts(WebKitWebView*);
}
#endif