Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
GJS API Reference
IAnjuta-3.0
IAnjuta
Editor_LineMarksGutterClickedSignalCallback
Interface Editor_LineMarksGutterClickedSignalCallback
Hierarchy
Editor_LineMarksGutterClickedSignalCallback
Callable
Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
(
$obj
:
IAnjuta
.
Editor
, double_click
:
number
)
:
void
Signal callback interface for
line-marks-gutter-clicked
Parameters
$obj:
IAnjuta
.
Editor
double_click:
number
Returns
void
Editor_
Line
Marks
Gutter
Clicked
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklBbmp1dGFfM18wLklBbmp1dGEuRWRpdG9yX0xpbmVNYXJrc0d1dHRlckNsaWNrZWRTaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IkVkaXRvcl9MaW5lTWFya3NHdXR0ZXJDbGlja2VkU2lnbmFsQ2FsbGJhY2sifQ==
Signal callback interface for
line-marks-gutter-clicked