update_ui

update_ui signal is emitted when the screen needs to be refreshed.

Callback function

void callback(GtkScintilla widget);