public DockWindow () : base (Gtk.WindowType.Toplevel)
{
IdeApp.CommandService.RegisterTopWindow (this);
AddAccelGroup (IdeApp.CommandService.AccelGroup);
allWindows.Add (this);
var notebook = new SdiDragNotebook ((DefaultWorkbench)IdeApp.Workbench.RootWindow);
notebook.NavigationButtonsVisible = false;
Child = new DockNotebookContainer (notebook);
notebook.InitSize ();
}
public DockWindow() : base(Gtk.WindowType.Toplevel)
{
IdeApp.CommandService.RegisterTopWindow(this);
AddAccelGroup(IdeApp.CommandService.AccelGroup);
allWindows.Add(this);
var notebook = new SdiDragNotebook((DefaultWorkbench)IdeApp.Workbench.RootWindow);
notebook.NavigationButtonsVisible = false;
Child = new DockNotebookContainer(notebook);
notebook.InitSize();
}
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;
}));
}
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;
}));
}
DockNotebook Insert(SdiWorkspaceWindow window, Action <DockNotebookContainer> callback)
{
var newNotebook = new SdiDragNotebook((DefaultWorkbench)IdeApp.Workbench.RootWindow);
newNotebook.NavigationButtonsVisible = false;
newNotebook.InitSize();
var newContainer = new DockNotebookContainer(newNotebook);
newNotebook.PageRemoved += HandlePageRemoved;
if (window != null)
{
var newTab = newNotebook.AddTab(window);
window.SetDockNotebook(newNotebook, newTab);
}
Remove(Child);
callback(newContainer);
tabControl.InitSize();
ShowAll();
return(newNotebook);
}
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;
});
}
DockNotebook Insert (SdiWorkspaceWindow window, Action<DockNotebookContainer> callback)
{
var newNotebook = new SdiDragNotebook ((DefaultWorkbench)IdeApp.Workbench.RootWindow);
newNotebook.NavigationButtonsVisible = false;
newNotebook.InitSize ();
var newContainer = new DockNotebookContainer (newNotebook);
newNotebook.PageRemoved += HandlePageRemoved;
if (window != null) {
var newTab = newNotebook.AddTab (window);
window.SetDockNotebook (newNotebook, newTab);
}
Remove (Child);
callback (newContainer);
tabControl.InitSize ();
ShowAll ();
return newNotebook;
}