Anterior
update_ui
Siguiente
update_ui
update_ui signal is emitted when the screen needs to be refreshed.
Callback function
void callback(GtkScintilla
widget
);