| Index: chrome/browser/ui/gtk/tabs/tab_strip_gtk.cc
|
| diff --git a/chrome/browser/ui/gtk/tabs/tab_strip_gtk.cc b/chrome/browser/ui/gtk/tabs/tab_strip_gtk.cc
|
| index 10bd53c07666cc72189d659e1caed3caf19c4992..a099c476aac8f9b6cb0a7c32ce4d0b19e12b3ce3 100644
|
| --- a/chrome/browser/ui/gtk/tabs/tab_strip_gtk.cc
|
| +++ b/chrome/browser/ui/gtk/tabs/tab_strip_gtk.cc
|
| @@ -1092,14 +1092,10 @@ void TabStripGtk::TabSelectionChanged(TabStripModel* tab_strip_model,
|
| GetTabAtAdjustForAnimation(*it)->SchedulePaint();
|
| }
|
|
|
| - ui::ListSelectionModel::SelectedIndices no_longer_selected;
|
| - std::insert_iterator<std::vector<int> > it2(no_longer_selected,
|
| - no_longer_selected.begin());
|
| - std::set_difference(old_model.selected_indices().begin(),
|
| - old_model.selected_indices().end(),
|
| - model_->selection_model().selected_indices().begin(),
|
| - model_->selection_model().selected_indices().end(),
|
| - it2);
|
| + ui::ListSelectionModel::SelectedIndices no_longer_selected =
|
| + base::STLSetDifference<ui::ListSelectionModel::SelectedIndices>(
|
| + old_model.selected_indices(),
|
| + model_->selection_model().selected_indices());
|
| for (std::vector<int>::iterator it = no_longer_selected.begin();
|
| it != no_longer_selected.end(); ++it) {
|
| GetTabAtAdjustForAnimation(*it)->StopMiniTabTitleAnimation();
|
|
|