private void Provider_InterpreterFactoriesChanged(object sender, EventArgs e) { lock (_suppressInterpretersChangedLock) { if (_suppressInterpretersChanged > 0) { _raiseInterpretersChanged = true; return; } } // May have removed the default interpreter, so select a new default if (FindInterpreter(DefaultInterpreter.Id, DefaultInterpreter.Configuration.Version) == null) { DefaultInterpreter = Interpreters.LastOrDefault(fact => fact.CanBeAutoDefault()); } OnInterpretersChanged(); }
private void Provider_InterpreterFactoriesChanged(object sender, EventArgs e) { lock (_suppressInterpretersChangedLock) { if (_suppressInterpretersChanged > 0) { _raiseInterpretersChanged = true; return; } } // May have removed the default interpreter, so select a new default if (FindInterpreter(DefaultInterpreter.Id, DefaultInterpreter.Configuration.Version) == null) { DefaultInterpreter = Interpreters.LastOrDefault(); } var evt = InterpretersChanged; if (evt != null) { evt(this, EventArgs.Empty); } }