+static void
+on_run_all (GtkMenuItem *menuitem, gpointer user_data)
+{
+ GtkTextIter begin, end;
+ struct syntax_editor *se = user_data;
+
+ gtk_text_buffer_get_iter_at_line (se->buffer, &begin, 0);
+ gtk_text_buffer_get_iter_at_line (se->buffer, &end, -1);
+
+ getl_append_source (the_source_stream,
+ create_syntax_editor_source (se, begin, end));
+ for (;;)
+ {
+ int result = cmd_parse (the_lexer, the_dataset,
+ proc_has_source (the_dataset)
+ ? CMD_STATE_DATA : CMD_STATE_INITIAL);
+
+ if (result == CMD_EOF || result == CMD_FINISH)
+ break;
+ }
+}
+
+