private void listAssemblies_SelectedIndexChanged(object sender, EventArgs e)
{
Contract.Requires(this.chart != null);
Contract.Requires(this.listAssemblies != null);
Contract.Requires(this.splitMain != null);
var oldSelectedAssembly = this.SelectedAssembly;
var newSelectedAssembly = this.listAssemblies.SelectedItem as AssemblyEntry;
if (newSelectedAssembly != null && newSelectedAssembly != oldSelectedAssembly)
{
this.SelectedAssembly = newSelectedAssembly;
UpdateChart();
}
}
private void listAssemblies_SelectedIndexChanged(object sender, EventArgs e)
{
Contract.Requires(this.chart != null);
Contract.Requires(this.listAssemblies != null);
Contract.Requires(this.splitMain != null);
var oldSelectedAssembly = this.SelectedAssembly;
var newSelectedAssembly = this.listAssemblies.SelectedItem as AssemblyEntry;
if (newSelectedAssembly != null && newSelectedAssembly != oldSelectedAssembly)
{
this.SelectedAssembly = newSelectedAssembly;
UpdateChart();
}
}