margin_click

margin_click signal is emitted when the users clicks on the margin of GtkScintilla object.

Callback function

void callback(GtkScintilla widget, int modifiers, int position, int margin);