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));
}
