change_view

Description:

[ NoWrapper ]
public virtual void change_view (TextView? old_view)

This is called when the text view changes for this.

Parameters:

this

a SourceGutterRenderer.
old_view

the old TextView.