void RefreshDocklets () { if (DockletsTileview == null) return; AbstractDockItemProvider selectedProvider = null; DockletTile selectedTile = (DockletTile) DockletsTileview.CurrentTile (); if (selectedTile != null) selectedProvider = selectedTile.Provider; DockletsTileview.Clear (); docklettiles.ForEach (tile => tile.Dispose ()); docklettiles.Clear (); if (ActiveDock == null) return; string query = DockletSearch.InnerEntry.Text.ToLower (); // build a list of DockletTiles, starting with the currently active tiles for the active dock, // and the available addins DockletTile currentTile = null; foreach (AbstractDockItemProvider provider in ActiveDock.Preferences.ItemProviders) { string providerID = PluginManager.AddinIDFromProvider (provider); if (string.IsNullOrEmpty (providerID)) continue; docklettiles.Add (new DockletTile (providerID, provider)); if (provider == selectedProvider) currentTile = docklettiles.Last (); } docklettiles = docklettiles.Concat (PluginManager.AvailableProviderIDs.Select (id => new DockletTile (id))).ToList (); if (docklet_show_cmb.Active == (int) DockletShowStates.Active) docklettiles = docklettiles.Where (t => t.Enabled).ToList (); else if (docklet_show_cmb.Active == (int) DockletShowStates.Disabled) docklettiles = docklettiles.Where (t => !t.Enabled).ToList (); docklettiles = docklettiles.Where (t => t.Description.ToLower ().Contains (query) || t.Name.ToLower ().Contains (query)).ToList (); foreach (DockletTile docklet in docklettiles) DockletsTileview.AppendTile (docklet); if (currentTile != null) DockletsTileview.Select (docklettiles.IndexOf (currentTile)); }