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.