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