GtkWidget* vbox;
GtkWidget* mainbar;
GtkWidget* mainbar_label;
- GtkScrollbar* scbar_v; // Horizontal and Vertical Scrollbar
- GtkScrollbar* scbar_h; // (These are still hidden)
- GtkAdjustment* bar_v; // Information about document length
- GtkAdjustment* bar_h; // and scrolling position
+ GtkScrollbar* scbar_v; /* Horizontal and Vertical Scrollbar */
+ GtkScrollbar* scbar_h; /* (These are still hidden) */
+ GtkAdjustment* bar_v; /* Information about document length */
+ GtkAdjustment* bar_h; /* and scrolling position */
WebKitWebView* web_view;
gchar* main_title;
guint font_size;
guint monospace_size;
guint minimum_font_size;
+ gfloat zoom_level;
guint disable_plugins;
guint disable_scripts;
guint autoload_img;
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