void Buffer_LineRemoveEvent(object sender, TextBufferEventArgs e)
{
updateMaxScrollY();
RegisterForGraphicUpdate();
notifyPositionChanged();
isDirty = true;
}
void Buffer_LineUpadateEvent(object sender, TextBufferEventArgs e)
{
RegisterForGraphicUpdate();
notifyPositionChanged();
isDirty = true;
}
void Buffer_LineAdditionEvent(object sender, TextBufferEventArgs e)
{
updateMaxScrollY();
RegisterForGraphicUpdate();
isDirty = true;
}
