GtkAdjustment* bar_h; // and scrolling position
WebKitWebView* web_view;
gchar* main_title;
+ gchar* icon;
/* WebInspector */
GtkWidget *inspector_window;
guint http_debug;
gchar* shell_cmd;
/* WebKitWebSettings exports */
- gfloat zoom_level;
guint font_size;
guint monospace_size;
guint minimum_font_size;
+ gfloat zoom_level;
guint disable_plugins;
guint disable_scripts;
guint autoload_img;
download_cb (WebKitWebView *web_view, GObject *download, gpointer user_data);
static void
+toggle_zoom_type (WebKitWebView* page, GArray *argv);
+
+static void
toggle_status_cb (WebKitWebView* page, GArray *argv);
static void
set_proxy_url();
static void
+set_icon();
+
+static void
cmd_cookie_handler();
static void
static void
cmd_max_conns_host();
+/* exported WebKitWebSettings properties */
+
static void
cmd_font_size();