Web
Editor_
Selection
Changed
Signal
Callback
GJS API Reference
WebKit2WebExtension-4.1
WebKit2WebExtension
WebEditor_SelectionChangedSignalCallback
Interface WebEditor_SelectionChangedSignalCallback
Hierarchy
WebEditor_SelectionChangedSignalCallback
Callable
Web
Editor_
Selection
Changed
Signal
Callback
(
$obj
:
WebKit2WebExtension
.
WebEditor
)
:
void
Signal callback interface for
selection-changed
Parameters
$obj:
WebKit2WebExtension
.
WebEditor
Returns
void
Web
Editor_
Selection
Changed
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IldlYktpdDJXZWJFeHRlbnNpb25fNF8xLldlYktpdDJXZWJFeHRlbnNpb24uV2ViRWRpdG9yX1NlbGVjdGlvbkNoYW5nZWRTaWduYWxDYWxsYmFjay5odG1sIiwibmFtZSI6IldlYkVkaXRvcl9TZWxlY3Rpb25DaGFuZ2VkU2lnbmFsQ2FsbGJhY2sifQ==
Signal callback interface for
selection-changed