public Dock(DockPreferences prefs)
{
this.prefs = prefs;
window = new DockWindow {
Preferences = Preferences,
};
window.ShowAll();
}
public Dock (DockPreferences prefs)
{
this.prefs = prefs;
window = new DockWindow {
Preferences = Preferences,
};
window.ShowAll ();
}
void CreateDocks ()
{
foreach (string name in DockNames) {
DockPreferences dockPrefs = new DockPreferences (name);
Dock dock = new Dock (dockPrefs);
docks.Add (dock);
}
}
public Dock CreateDock ()
{
int mon;
for (mon = 0; mon < Screen.Default.NMonitors; mon++) {
if (PositionsAvailableForDock (mon).Any ())
break;
if (mon == Screen.Default.NMonitors - 1)
return null;
}
string name = "Dock" + 1;
for (int i = 2; DockNames.Contains (name); i++)
name = "Dock" + i;
DockNames = DockNames.Concat (new[] { name });
DockPreferences dockPrefs = new DockPreferences (name, mon);
dockPrefs.Position = PositionsAvailableForDock (mon).First ();
Dock dock = new Dock (dockPrefs);
docks.Add (dock);
return dock;
}
