protected virtual void OnRefreshedPlugins(RefreshedPluginsUIPluginManagerEventArgs e)
{
EventHandler <RefreshedPluginsUIPluginManagerEventArgs> handler = RefreshedPlugins;
if (handler != null)
{
handler(this, e);
}
}
/// <summary>
/// Refreshes the plugins core.
/// </summary>
/// <param name="refreshArgs">The refresh args.</param>
protected virtual void RefreshPluginsCore(RefreshArgs refreshArgs)
{
RefreshedPluginsUIPluginManagerEventArgs e = new RefreshedPluginsUIPluginManagerEventArgs();
foreach (UIPlugin plugin in GetActiveUIPlugins())
{
Stopwatch stopwatch = Stopwatch.StartNew();
plugin.Refresh(refreshArgs);
stopwatch.Stop();
e.RefreshingTimes[plugin] = stopwatch.Elapsed;
}
OnRefreshedPlugins(e);
refreshingTime = e.TotalRefreshingTime;
}
