void HeaderButtonPress(object ob, Gtk.ButtonPressEventArgs args)
{
if (args.Event.Button == 1)
{
frame.ShowPlaceholder();
header.GdkWindow.Cursor = fleurCursor;
frame.Toplevel.KeyPressEvent += HeaderKeyPress;
frame.Toplevel.KeyReleaseEvent += HeaderKeyRelease;
allowPlaceholderDocking = true;
}
else if (args.Event.Button == 3)
{
item.ShowDockPopupMenu(args.Event.Time);
}
}
