static void menu_resetmarker (GtkWidget * wid, gpointer none) { gtk_xtext_reset_marker_pos (GTK_XTEXT (current_sess->gui->xtext)); }
static void menu_resetmarker(GtkWidget *wid, gpointer none) { gtk_xtext_reset_marker_pos(GTK_XTEXT(gtk_private_ui(window_current)->xtext)); }