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)
{
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