1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
| void interface_print_com(char *str)
{
GtkWidget *textview;
static GtkTextBuffer *buffer = NULL; //static car inutile de le rechercher à chaque fois
GtkTextIter iter;
GtkTextMark *insert;
/* On récupère un pointeur vers le buffer de texte
sauf si c'est déjà fait (par un précédent appel à la fonction) */
if(buffer == NULL)
{
textview = glade_xml_get_widget(xml_interface, "textview_commandes");
buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(textview));
}
//On insère le texte à la fin de la zone de texte
gtk_text_buffer_get_end_iter(buffer, &iter);
gtk_text_buffer_insert(buffer, &iter, str, -1);
insert = gtk_text_buffer_get_insert(buffer);
gtk_text_view_scroll_to_mark(GTK_TEXT_VIEW(textview), insert, 0, FALSE, 1, 1); //// BUG ////
return ;
} |