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.




2022 vala-language.org