GtkAdjustment* bar_h; // and scrolling position
WebKitWebView* web_view;
gchar* main_title;
+ gchar* icon;
/* WebInspector */
GtkWidget *inspector_window;
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
static gboolean
run_command(const gchar *command, const guint npre,
- const gchar **args, const gboolean sync, char **stdout);
+ const gchar **args, const gboolean sync, char **output_stdout);
static void
spawn(WebKitWebView *web_view, GArray *argv);
search_reverse_text (WebKitWebView *page, GArray *argv);
static void
-reset_zoom_level (WebKitWebView *page, GArray *argv);
-
-static void
dehilight (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();
static void
+cmd_zoom_level();
+
+static void
cmd_disable_plugins();
static void