提交 8203a897 编写于 作者: B Benjamin Pasero

fix ui glitch with editor width ratios

上级 f416b8e8
...@@ -933,7 +933,11 @@ export class EditorPart extends Part implements IEditorPart, IEditorGroupService ...@@ -933,7 +933,11 @@ export class EditorPart extends Part implements IEditorPart, IEditorGroupService
// Validate width ratios // Validate width ratios
const positions = rightEditors.length ? 3 : centerEditors.length ? 2 : 1; const positions = rightEditors.length ? 3 : centerEditors.length ? 2 : 1;
if (widthRatios.length !== positions) { if (widthRatios.length !== positions) {
widthRatios = void 0; // being taken care of by the layouting if (!this.getVisibleEditors().length) {
widthRatios = (positions === 3) ? [0.33, 0.33, 0.34] : (positions === 2) ? [0.5, 0.5] : [1];
} else {
widthRatios = void 0; // being taken care of by the layouting if editors are already open
}
} }
// Open each input respecting the options. Since there can only be one active editor in each // Open each input respecting the options. Since there can only be one active editor in each
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册