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