void HandleViewTextEditorhandleSizeAllocated(object o, SizeAllocatedArgs args)
{
int newX = widget.TextEditor.Allocation.Width - this.Allocation.Width - 8;
TextEditorContainer.EditorContainerChild containerChild = ((Mono.TextEditor.TextEditorContainer.EditorContainerChild)widget.TextEditorContainer[container]);
if (newX != containerChild.X)
{
this.searchEntry.WidthRequest = widget.Vbox.Allocation.Width / 3;
containerChild.X = newX;
widget.TextEditorContainer.QueueResize();
}
}
void HandleViewTextEditorhandleSizeAllocated(object o, SizeAllocatedArgs args)
{
int newX = textEditor.Allocation.Width - this.Allocation.Width - 8;
var wc = (TextEditorContainer)textEditor.Parent;
TextEditorContainer.EditorContainerChild containerChild = ((TextEditorContainer.EditorContainerChild)wc [frame]);
if (newX != containerChild.X)
{
this.entryLineNumber.WidthRequest = textEditor.Allocation.Width / 4;
containerChild.X = newX;
textEditor.QueueResize();
}
}
void HandleViewTextEditorhandleSizeAllocated(object o, SizeAllocatedArgs args)
{
if (frame == null || textEditor == null)
{
return;
}
int newX = textEditor.Allocation.Width - Allocation.Width - 8;
TextEditorContainer.EditorContainerChild containerChild = ((TextEditorContainer.EditorContainerChild)textEditorContainer [frame]);
if (newX != containerChild.X)
{
searchEntry.WidthRequest = textEditor.Allocation.Width / 3;
containerChild.X = newX;
textEditorContainer.QueueResize();
}
}