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