| Index: third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| index 8e163c3a1bf31cd36b1d7b549848bf88fec17f38..ed3add080ab9696f3a643893c1c6eea70156f761 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| @@ -298,7 +298,6 @@ Sources.TabbedEditorContainer = class extends Common.Object {
|
| if (!shouldPrompt ||
|
| confirm(Common.UIString('Are you sure you want to close unsaved file: %s?', uiSourceCode.name()))) {
|
| uiSourceCode.resetWorkingCopy();
|
| - var previousView = this._currentView;
|
| if (nextTabId)
|
| this._tabbedPane.selectTab(nextTabId, true);
|
| this._tabbedPane.closeTab(id, true);
|
|
|