development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-08-27 21:09:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix issue with editors closing randomly

Browse source
This commit is contained in:
Benjamin Pasero 2016-06-15 09:39:52 +02:00
parent 1ddee875cc
commit d8de4d4695
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/vs/workbench/services/history/browser/history.ts
View file

@ -269,7 +269,7 @@ export class HistoryService extends BaseHistoryService implements IHistoryServic
// Bounding
if (this.recentlyClosed.length > HistoryService.MAX_RECENTLY_CLOSED_EDITORS) {
this.recentlyClosed.shift().dispose(); // remove first and dispose
this.recentlyClosed.shift();
}
// Restore on dispose
@ -363,7 +363,7 @@ export class HistoryService extends BaseHistoryService implements IHistoryServic
// Respect max entries setting
if (this.history.length > HistoryService.MAX_HISTORY_ITEMS) {
this.history.pop().dispose(); // remove and dispose last
this.history.pop();
}
// Restore on dispose
@ -495,7 +495,7 @@ export class HistoryService extends BaseHistoryService implements IHistoryServic
// Check for limit
if (this.stack.length > HistoryService.MAX_STACK_ITEMS) {
this.stack.shift().input.dispose(); // remove first and dispose
this.stack.shift(); // remove first and dispose
if (this.index > 0) {
this.index--;
}