import { DocumentWidget } from '@jupyterlab/docregistry' ; import { FileEditor } from '@jupyterlab/fileeditor' ; import { IDisposable } from '@lumino/disposable' ; import { Signal } from '@lumino/signaling' ; import { EditorHandler } from '../handlers/editor' ; import { IDebugger } from '../tokens' ; /**
 * A handler for files.
 */ export class FileHandler implements IDisposable { param options constructor ( options ) { this . _debuggerService = options . debuggerService ; this . _fileEditor = options . widget . content ; this . _editorHandler = new EditorHandler ( { debuggerService : this . _debuggerService , editor : this . _fileEditor . editor } ) ; } /**
     * Whether the handler is disposed.
     */ isDisposed : boolean ; /**
     * Dispose the handler.
     */ dispose ( ) { if ( this . isDisposed ) { return ; } this . isDisposed = true ; this . _editorHandler ?. dispose ( ) ; Signal . clearData ( this ) ; } private _fileEditor : FileEditor ; private _debuggerService : IDebugger ; private _editorHandler : EditorHandler ; } /**
 * A namespace for FileHandler `statics`.
 */ export namespace FileHandler { /**
     * Instantiation options for `FileHandler`.
     */ export interface IOptions { /**
         * The debugger service.
         */ debuggerService : IDebugger ; /**
         * The widget to handle.
         */ widget : DocumentWidget < FileEditor > ; } }