public DockFrame()
{
Mono.TextEditor.GtkWorkarounds.FixContainerLeak(this);
shadedContainer = new ShadedContainer();
dockBarTop = new DockBar(this, Gtk.PositionType.Top);
dockBarBottom = new DockBar(this, Gtk.PositionType.Bottom);
dockBarLeft = new DockBar(this, Gtk.PositionType.Left);
dockBarRight = new DockBar(this, Gtk.PositionType.Right);
container = new DockContainer(this);
HBox hbox = new HBox();
hbox.PackStart(dockBarLeft, false, false, 0);
hbox.PackStart(container, true, true, 0);
hbox.PackStart(dockBarRight, false, false, 0);
mainBox = new VBox();
mainBox.PackStart(dockBarTop, false, false, 0);
mainBox.PackStart(hbox, true, true, 0);
mainBox.PackStart(dockBarBottom, false, false, 0);
Add(mainBox);
mainBox.ShowAll();
mainBox.NoShowAll = true;
CompactGuiLevel = 2;
dockBarTop.UpdateVisibility();
dockBarBottom.UpdateVisibility();
dockBarLeft.UpdateVisibility();
dockBarRight.UpdateVisibility();
}
void UpdateDockbarsVisibility()
{
dockBarTop.UpdateVisibility();
dockBarBottom.UpdateVisibility();
dockBarLeft.UpdateVisibility();
dockBarRight.UpdateVisibility();
}
public DockFrame ()
{
Mono.TextEditor.GtkWorkarounds.FixContainerLeak (this);
dockBarTop = new DockBar (this, Gtk.PositionType.Top);
dockBarBottom = new DockBar (this, Gtk.PositionType.Bottom);
dockBarLeft = new DockBar (this, Gtk.PositionType.Left);
dockBarRight = new DockBar (this, Gtk.PositionType.Right);
container = new DockContainer (this);
HBox hbox = new HBox ();
hbox.PackStart (dockBarLeft, false, false, 0);
hbox.PackStart (container, true, true, 0);
hbox.PackStart (dockBarRight, false, false, 0);
mainBox = new VBox ();
mainBox.PackStart (dockBarTop, false, false, 0);
mainBox.PackStart (hbox, true, true, 0);
mainBox.PackStart (dockBarBottom, false, false, 0);
Add (mainBox);
mainBox.ShowAll ();
mainBox.NoShowAll = true;
CompactGuiLevel = 2;
dockBarTop.UpdateVisibility ();
dockBarBottom.UpdateVisibility ();
dockBarLeft.UpdateVisibility ();
dockBarRight.UpdateVisibility ();
DefaultVisualStyle = new DockVisualStyle ();
}
public DockFrame()
{
shadedContainer = new ShadedContainer ();
dockBarTop = new DockBar (this, Gtk.PositionType.Top);
dockBarBottom = new DockBar (this, Gtk.PositionType.Bottom);
dockBarLeft = new DockBar (this, Gtk.PositionType.Left);
dockBarRight = new DockBar (this, Gtk.PositionType.Right);
container = new DockContainer (this);
HBox hbox = new HBox ();
hbox.PackStart (dockBarLeft, false, false, 0);
hbox.PackStart (container, true, true, 0);
hbox.PackStart (dockBarRight, false, false, 0);
mainBox = new VBox ();
mainBox.PackStart (dockBarTop, false, false, 0);
mainBox.PackStart (hbox, true, true, 0);
mainBox.PackStart (dockBarBottom, false, false, 0);
Add (mainBox);
mainBox.ShowAll ();
mainBox.NoShowAll = true;
CompactGuiLevel = 2;
dockBarTop.UpdateVisibility ();
dockBarBottom.UpdateVisibility ();
dockBarLeft.UpdateVisibility ();
dockBarRight.UpdateVisibility ();
}