Anterior
user_list_selection
Siguiente
user_list_selection
Callback function
void callback(GtkScintilla
widget
, int
type
, char
text
);