user_list_selection

Callback function

void callback(GtkScintilla widget, int type, char text);