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.