1234567891011121314151617181920212223242526272829303132333435363738 |
- // Copyright (c) Jupyter Development Team.
- // Distributed under the terms of the Modified BSD License.
- import {
- IInstanceTracker
- } from '@jupyterlab/apputils';
- import {
- IDocumentWidget
- } from '@jupyterlab/docregistry';
- import {
- Token
- } from '@phosphor/coreutils';
- import {
- FileEditor
- } from './widget';
- import '../style/index.css';
- export * from './widget';
- /**
- * A class that tracks editor widgets.
- */
- export
- interface IEditorTracker extends IInstanceTracker<IDocumentWidget<FileEditor>> {}
- /* tslint:disable */
- /**
- * The editor tracker token.
- */
- export
- const IEditorTracker = new Token<IEditorTracker>('@jupyterlab/fileeditor:IEditorTracker');
- /* tslint:enable */
|