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 DockNotebook InsertRight (SdiWorkspaceWindow window) { return Insert (window, container => { var box = new HPanedThin () { GrabAreaSize = 6 }; var new_container = new DockNotebookContainer (tabControl); box.Pack1 (new_container, true, true); box.Pack2 (container, true, true); box.Position = Allocation.Width / 2; Child = box; }); }
public DockNotebook InsertLeft (SdiWorkspaceWindow window) { return Insert (window, container => { var box = new HPanedThin { GrabAreaSize = 6 }; var new_container = new DockNotebookContainer (tabControl); box.Pack1 (container, true, true); box.Pack2 (new_container, true, true); Child = box; }); }