/** * Disposes the plugin */ public void Dispose() { timerPosition.Enabled = false; PathExplorer.StopBackgroundExploration(); SaveSettings(); }
/** * Disposes the plugin */ public void Dispose() { PathExplorer.StopBackgroundExploration(); SaveSettings(); }