Anterior
painted
Siguiente
painted
Callback function
void callback(GtkScintilla
widget
);