Source
View
Mode_
Push
Selection
Signal
Callback
GJS API Reference
Ide-1.0
Ide
SourceViewMode_PushSelectionSignalCallback
Interface SourceViewMode_PushSelectionSignalCallback
Hierarchy
SourceViewMode_PushSelectionSignalCallback
Callable
Source
View
Mode_
Push
Selection
Signal
Callback
(
$obj
:
SourceViewMode
)
:
void
Signal callback interface for
push-selection
Parameters
$obj:
SourceViewMode
Returns
void
Source
View
Mode_
Push
Selection
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklkZV8xXzAuSWRlLlNvdXJjZVZpZXdNb2RlX1B1c2hTZWxlY3Rpb25TaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IlNvdXJjZVZpZXdNb2RlX1B1c2hTZWxlY3Rpb25TaWduYWxDYWxsYmFjayJ9
Signal callback interface for
push-selection