public void ShowOverlay(TextEditor textEditor)
{
this.textEditor = textEditor;
this.ShowAll();
textEditor.AddTopLevelWidget(this, 0, 0);
textEditor.SizeAllocated += HandleSizeAllocated;
var child = (TextEditor.EditorContainerChild)textEditor [this];
child.FixedPosition = true;
}
public void ShowOverlay (TextEditor textEditor)
{
this.textEditor = textEditor;
this.ShowAll ();
textEditor.AddTopLevelWidget (this, 0, 0);
textEditor.SizeAllocated += HandleSizeAllocated;
var child = (TextEditor.EditorContainerChild)textEditor [this];
child.FixedPosition = true;
}