change_buffer

Description:

[ NoWrapper ]
public virtual void change_buffer (TextBuffer? old_buffer)

This is called when the text buffer changes for this.

Parameters:

this

a SourceGutterRenderer.
old_buffer

the old TextBuffer.