open new editors from double-click always at the end (fixes #10208)

This commit is contained in:
Benjamin Pasero
2016-08-08 08:59:08 +02:00
parent 5233bea8ac
commit e8014cc48d
@@ -89,7 +89,9 @@ export class TabsTitleControl extends TitleControl {
if (target instanceof HTMLElement && target.className.indexOf('tabs-container') === 0) {
DOM.EventHelper.stop(e);
return this.editorService.openEditor(this.untitledEditorService.createOrGet(), { pinned: true }); // untitled are always pinned
const group = this.context;
return this.editorService.openEditor(this.untitledEditorService.createOrGet(), { pinned: true, index: group.count /* always at the end */ }); // untitled are always pinned
}
}));