void RepositionFilter()
{
int w = filterEntry.SizeRequest ().Width;
int h = filterEntry.SizeRequest ().Height;
var alloc = notebook.Allocation;
filterEntry.Allocation = new Gdk.Rectangle (alloc.Left + alloc.Width - 1 - w, alloc.Y, w, h);
}