Editor
Language_
Language
Changed
Signal
Callback
GJS API Reference
IAnjuta-3.0
IAnjuta
EditorLanguage_LanguageChangedSignalCallback
Interface EditorLanguage_LanguageChangedSignalCallback
Hierarchy
EditorLanguage_LanguageChangedSignalCallback
Callable
Editor
Language_
Language
Changed
Signal
Callback
(
$obj
:
EditorLanguage
, language
:
string
)
:
void
Signal callback interface for
language-changed
Parameters
$obj:
EditorLanguage
language:
string
Returns
void
Editor
Language_
Language
Changed
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IklBbmp1dGFfM18wLklBbmp1dGEuRWRpdG9yTGFuZ3VhZ2VfTGFuZ3VhZ2VDaGFuZ2VkU2lnbmFsQ2FsbGJhY2suaHRtbCIsIm5hbWUiOiJFZGl0b3JMYW5ndWFnZV9MYW5ndWFnZUNoYW5nZWRTaWduYWxDYWxsYmFjayJ9
Signal callback interface for
language-changed