/// <summary> /// A plugin was changed and automatically reloaded by the manager. /// </summary> /// <param name="sender"></param> /// <param name="args"></param> void _pluginManager_PluginReloaded(object sender, PluginReloadEventArgs args) { textBox1.AppendText(string.Format("{0} was reloaded.\r\n", args.Plugin)); }
/// <summary> /// Raise the PluginReloaded event. /// </summary> /// <param name="args"></param> protected virtual void OnPluginReloaded(PluginReloadEventArgs args) { if (PluginReloaded != null) PluginReloaded(this, args); }