protected CustomPanedHandle(Gtk.Paned parent)
{
ParentPaned = parent;
ParentPaned.SizeRequested += HandleSizeRequested;
ParentPaned.SizeAllocated += HandleSizeAllocated;
Parent = parent;
}
public CustomGtkPanedHandle(Gtk.Paned parent) : base(parent)
{
horizontal = parent is HPanedThin;
GrabAreaSize = HandleGrabWidth;
Events |= Gdk.EventMask.EnterNotifyMask | Gdk.EventMask.LeaveNotifyMask | Gdk.EventMask.PointerMotionMask | Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask;
HandleWidget = null;
}
public void Initialize(Orientation dir)
{
if (dir == Orientation.Horizontal)
Widget = new Gtk.HPaned ();
else
Widget = new Gtk.VPaned ();
Widget.Show ();
}
protected override void OnDestroyed()
{
if (ParentPaned != null)
{
ParentPaned.SizeRequested -= HandleSizeRequested;
ParentPaned.SizeAllocated -= HandleSizeAllocated;
ParentPaned = null;
}
base.OnDestroyed();
}
internal static void InitStyle(Gtk.Paned paned, int size)
{
string id = "MonoDevelop.ThinPanedHandle.s" + size;
if (stylesParsed.Add(size))
{
Gtk.Rc.ParseString("style \"" + id + "\" {\n GtkPaned::handle-size = " + size + "\n }\n");
Gtk.Rc.ParseString("widget \"*." + id + "\" style \"" + id + "\"\n");
}
paned.Name = id;
}
public CustomPanedHandle(Gtk.Paned parent)
{
this.parent = parent;
this.horizontal = parent is HPanedThin;
GrabAreaSize = HandleGrabWidth;
Events |= Gdk.EventMask.EnterNotifyMask | Gdk.EventMask.LeaveNotifyMask | Gdk.EventMask.PointerMotionMask | Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask;
parent.SizeRequested += delegate {
SizeRequest();
};
parent.SizeAllocated += HandleSizeAllocated;
HandleWidget = null;
}
public CustomMacPanedHandle(Gtk.Paned parent) : base(parent)
{
VisibleWindow = false;
HPanedThin.InitStyle(parent, 1);
horizontal = parent is HPanedThin;
handle = new MacPanedHandleView(parent);
host = new Gtk.GtkNSViewHost(handle, NSWindowOrderingMode.Above);
GrabAreaSize = HandleGrabWidth;
Add(host);
host.Show();
}
public CustomPanedHandle (Gtk.Paned parent)
{
this.parent = parent;
this.horizontal = parent is HPanedThin;
GrabAreaSize = HandleGrabWidth;
Events |= Gdk.EventMask.EnterNotifyMask | Gdk.EventMask.LeaveNotifyMask | Gdk.EventMask.PointerMotionMask | Gdk.EventMask.ButtonPressMask | Gdk.EventMask.ButtonReleaseMask;
parent.SizeRequested += delegate {
SizeRequest ();
};
parent.SizeAllocated += HandleSizeAllocated;
HandleWidget = null;
}
public MacPanedHandleView(Gtk.Paned owner)
{
horizontal = owner is HPanedThin;
this.owner = new WeakReference <Gtk.Paned>(owner);
}
