added update_gui command

diff --git a/uzbl.c b/uzbl.c
index 9db9263..95667c6 100644 (file)
--- a/uzbl.c
+++ b/uzbl.c
@@ -821,7 +821,8 @@ struct {char *key; CommandInfo value;} cmdlist[] =
     { "keycmd_nl",          {keycmd_nl, TRUE}              },
     { "keycmd_bs",          {keycmd_bs, 0}                 },
     { "chain",              {chain, 0}                     },
-    { "print",              {print, TRUE}                  }
+    { "print",              {print, TRUE}                  },
+    { "update_gui",         {update_gui, TRUE}           }
 };
 
 void
@@ -876,6 +877,13 @@ set_var(WebKitWebView *page, GArray *argv, GString *result) {
 }
 
 void
+update_gui(WebKitWebView *page, GArray *argv, GString *result) {
+    (void) page; (void) argv; (void) result;
+
+    update_title();
+}
+
+void
 print(WebKitWebView *page, GArray *argv, GString *result) {
     (void) page; (void) result;
     gchar* buf;

diff --git a/uzbl.h b/uzbl.h
index cbc362a..632219e 100644 (file)
--- a/uzbl.h
+++ b/uzbl.h
@@ -476,6 +476,9 @@ dump_config();
 void
 retrieve_geometry();
 
+void
+update_gui(WebKitWebView *page, GArray *argv, GString *result);
+
 gboolean
 configure_event_cb(GtkWidget* window, GdkEventConfigure* event);