double_click

Callback function

void callback(GtkScintilla widget);