提交 6707d1f0 编写于 作者: B Benjamin Pasero

stacksmodel is readonly

上级 8f0bfb69
...@@ -150,7 +150,7 @@ export class EditorPart extends Part implements IEditorPart { ...@@ -150,7 +150,7 @@ export class EditorPart extends Part implements IEditorPart {
if (!options) { options = null; } if (!options) { options = null; }
// Determine position to open editor in (left, center, right) // Determine position to open editor in (left, center, right)
let position = this.findPosition(arg3, widthRatios); const position = this.findPosition(arg3, widthRatios);
// In case the position is invalid, return early. This can happen when the user tries to open a side editor // In case the position is invalid, return early. This can happen when the user tries to open a side editor
// when the maximum number of allowed editors is reached and no more side editor can be opened. // when the maximum number of allowed editors is reached and no more side editor can be opened.
......
...@@ -30,15 +30,18 @@ export interface IEditorGroup { ...@@ -30,15 +30,18 @@ export interface IEditorGroup {
onEditorUnpinned: Event<EditorInput>; onEditorUnpinned: Event<EditorInput>;
getEditors(mru?: boolean): EditorInput[]; getEditors(mru?: boolean): EditorInput[];
isActive(editor: EditorInput): boolean;
isPreview(editor: EditorInput): boolean;
isPinned(editor: EditorInput): boolean;
// --- Modifying:
// openEditor(editor: EditorInput, options?: IEditorOpenOptions): void; // openEditor(editor: EditorInput, options?: IEditorOpenOptions): void;
// moveEditor(editor: EditorInput, toIndex: number): void; // moveEditor(editor: EditorInput, toIndex: number): void;
// closeEditor(editor: EditorInput): void; // closeEditor(editor: EditorInput): void;
// closeEditors(except: EditorInput, direction?: Direction): void; // closeEditors(except: EditorInput, direction?: Direction): void;
// closeAllEditors(): void; // closeAllEditors(): void;
// setActive(editor: EditorInput): void; // setActive(editor: EditorInput): void;
isActive(editor: EditorInput): boolean;
isPreview(editor: EditorInput): boolean;
isPinned(editor: EditorInput): boolean;
// pin(editor: EditorInput): void; // pin(editor: EditorInput): void;
// unpin(editor: EditorInput): void; // unpin(editor: EditorInput): void;
...@@ -56,14 +59,16 @@ export interface IEditorStacksModel { ...@@ -56,14 +59,16 @@ export interface IEditorStacksModel {
getGroup(id: GroupIdentifier): IEditorGroup; getGroup(id: GroupIdentifier): IEditorGroup;
openGroup(label: string): IEditorGroup; // --- Modifying:
// openGroup(label: string): IEditorGroup;
closeGroup(group: IEditorGroup): void; // closeGroup(group: IEditorGroup): void;
closeGroups(except?: IEditorGroup): void; // closeGroups(except?: IEditorGroup): void;
moveGroup(group: IEditorGroup, toIndex: number): void; // moveGroup(group: IEditorGroup, toIndex: number): void;
setActive(group: IEditorGroup): void; // setActive(group: IEditorGroup): void;
} }
export type GroupIdentifier = number; export type GroupIdentifier = number;
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册