Anterior
style_needed
Siguiente
style_needed
Callback function
void callback(GtkScintilla
widget
, int
position
);