|
private HandleDocTextSet ( object sender, |
||
| sender | object | |
| e | ||
| return | void | |
void HandleDocTextSet (object sender, EventArgs e)
{
if (vadjustment != null)
vadjustment.Value = vadjustment.Lower;
if (hadjustment != null)
hadjustment.Value = hadjustment.Lower;
HeightTree.Rebuild ();
ClearSelection ();
caret.SetDocument (document);
}
