提交 03286170 编写于 作者: B Benjamin Pasero

do not allow to unpin dirty editors

上级 04de8672
......@@ -1022,6 +1022,10 @@ export class EditorPart extends Part implements IEditorPart {
}
public unpinEditor(position: Position, input: EditorInput): void {
if (input.isDirty()) {
return; // we do not allow to unpin dirty editors
}
const group = this.stacks.groupAt(position);
if (group) {
if (group.isPreview(input)) {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册