change_buffer

Description:

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

This is called when the text buffer changes for this.

Parameters:

this

a GutterRenderer.
old_buffer

the old TextBuffer.