void Resize(Gdk.Rectangle alloc) { textEditor.MoveTopLevelWidget(this, (textEditor.Allocation.Width - alloc.Width) / 2, textEditor.Allocation.Height - alloc.Height - 8); }