142
142
if (changedViews.Count == 0)
144
144
if (changedViews.Count == 1) {
146
145
changedViews [0].SourceEditorWidget.ShowFileChangedWarning (false);
148
147
foreach (var view in changedViews) {
149
148
view.SourceEditorWidget.ShowFileChangedWarning (true);
152
151
changedViews [0].WorkbenchWindow.SelectWindow ();