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