Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
NODE-GTK API Reference
IAnjuta-3.0
IAnjuta
Editor_LineMarksGutterClickedSignalCallback
Interface Editor_LineMarksGutterClickedSignalCallback
Hierarchy
Editor_LineMarksGutterClickedSignalCallback
Callable
Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
(
doubleClick
:
number
)
:
void
Signal callback interface for
line-marks-gutter-clicked
Parameters
doubleClick:
number
Returns
void
Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklBbmp1dGFfM18wLklBbmp1dGEuRWRpdG9yX0xpbmVNYXJrc0d1dHRlckNsaWNrZWRTaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IkVkaXRvcl9MaW5lTWFya3NHdXR0ZXJDbGlja2VkU2lnbmFsQ2FsbGJhY2sifQ==
Signal callback interface for
line-marks-gutter-clicked