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