Exemplo n.º 1
0
 public Dock(DockPreferences prefs)
 {
     this.prefs = prefs;
     window     = new DockWindow {
         Preferences = Preferences,
     };
     window.ShowAll();
 }
Exemplo n.º 2
0
		public Dock (DockPreferences prefs)
		{
			this.prefs = prefs;
			window = new DockWindow {
				Preferences = Preferences,
			};
			window.ShowAll ();
		}
Exemplo n.º 3
0
		void CreateDocks ()
		{
			foreach (string name in DockNames) {
				DockPreferences dockPrefs = new DockPreferences (name);
				Dock dock = new Dock (dockPrefs);
				docks.Add (dock);
			}
		}
Exemplo n.º 4
0
		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;
		}