12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182 |
- // Copyright (c) Jupyter Development Team.
- // Distributed under the terms of the Modified BSD License.
- import {
- IClientSession
- } from '@jupyterlab/apputils';
- import {
- CodeEditor
- } from '@jupyterlab/codeeditor';
- import {
- Token
- } from '@phosphor/coreutils';
- import {
- Widget
- } from '@phosphor/widgets';
- import '../style/index.css';
- export * from './handler';
- export * from './model';
- export * from './widget';
- /* tslint:disable */
- /**
- * The completion manager token.
- */
- export
- const ICompletionManager = new Token<ICompletionManager>('jupyter.services.completer');
- /* tslint:enable */
- /**
- * A manager to register completers with parent widgets.
- */
- export
- interface ICompletionManager {
- /**
- * Register a completable object with the completion manager.
- *
- * @returns A completable object whose attributes can be updated as necessary.
- */
- register(completable: ICompletionManager.ICompletable): ICompletionManager.ICompletableAttributes;
- }
- /**
- * A namespace for `ICompletionManager` interface specifications.
- */
- export
- namespace ICompletionManager {
- /**
- * The attributes of a completable object that can change and sync at runtime.
- */
- export
- interface ICompletableAttributes {
- /**
- * The host editor for the completer.
- */
- editor: CodeEditor.IEditor | null;
- /**
- * The session used by the completer to make API requests.
- */
- session: IClientSession;
- }
- /**
- * An interface for completer-compatible objects.
- */
- export
- interface ICompletable extends ICompletableAttributes {
- /**
- * The parent of the completer; the completer resources dispose with parent.
- */
- readonly parent: Widget;
- }
- }
|