set_mode_indicator();
void
+update_indicator();
+
+void
set_insert_mode(gboolean mode);
void
void
initialize ();
-GtkWidget*
+void
create_browser ();
GtkWidget*
dump_config();
void
-retreive_geometry();
+retrieve_geometry();
+
+void
+update_gui(WebKitWebView *page, GArray *argv, GString *result);
gboolean
configure_event_cb(GtkWidget* window, GdkEventConfigure* event);