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; }