move editor moved event to group service

This commit is contained in:
Benjamin Pasero
2016-06-03 09:41:46 +02:00
parent 5f9ebc5868
commit f2987ae9fc
6 changed files with 16 additions and 21 deletions

View File

@@ -8,6 +8,7 @@
import {createDecorator, ServiceIdentifier} from 'vs/platform/instantiation/common/instantiation';
import {Position, IEditorInput} from 'vs/platform/editor/common/editor';
import {IEditorStacksModel} from 'vs/workbench/common/editor';
import Event from 'vs/base/common/event';
export enum GroupArrangement {
MINIMIZE_OTHERS,
@@ -23,6 +24,11 @@ export var IEditorGroupService = createDecorator<IEditorGroupService>('editorGro
export interface IEditorGroupService {
serviceId: ServiceIdentifier<any>;
/**
* Emitted when a editors are moved to another position.
*/
onEditorsMoved: Event<void>;
/**
* Keyboard focus the editor group at the provided position.
*/