GtkSource.GutterRenderer.change_view – gtksourceview-5 Reference Manual
change_view
Description:
[
NoWrapper
]
public
virtual
void
change_view
(
View
? old_view)
This is called when the text view changes for
this
.
Parameters:
this
a
GutterRenderer
.
old_view
the old
TextView
.
2022 vala-language.org