]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/test/guiGTK.c
* changed handling of ' (\primes) with a few patches in the stylesheets
[helm.git] / helm / DEVEL / mathml_editor / test / guiGTK.c
index 306ec67facf52439422a7797db4c85984c9153bb..74a34608b6da86decca8acbfd30e21e09a5b11a3 100644 (file)
@@ -137,6 +137,9 @@ load_error_msg(const char* name)
   g_free(msg);
 }
 
+static guint edit_timeout_id;
+extern void edit_timeout(gpointer);
+
 void
 GUI_init(int* argc, char*** argv, char* title, guint width, guint height, gpointer c)
 {
@@ -151,7 +154,7 @@ GUI_init(int* argc, char*** argv, char* title, guint width, guint height, gpoint
   gtk_widget_show(window);
 
   context = c;
-  /*edit_timeout_id = gtk_timeout_add(400, edit_timeout, context);*/
+  /*edit_timeout_id = gtk_timeout_add(50, edit_timeout, context);*/
 }
 
 void