save_point_reached

Callback function

void callback(GtkScintilla widget);