protected override void OnSizeAllocated(Rectangle allocation)
{
base.OnSizeAllocated(allocation);
if (textEditorWidget.Allocation != allocation)
{
textEditorWidget.SizeAllocate(allocation);
}
SetChildrenPositions(allocation);
}
protected override void OnSizeAllocated(Rectangle allocation)
{
base.OnSizeAllocated(allocation);
if (this.GdkWindow != null)
{
this.GdkWindow.MoveResize(allocation);
}
allocation = new Rectangle(0, 0, allocation.Width, allocation.Height);
if (textEditorWidget.Allocation != allocation)
{
textEditorWidget.SizeAllocate(allocation);
}
SetChildrenPositions(allocation);
}
