style_needed

Callback function

void callback(GtkScintilla widget, int position);