import { JupyterFrontEndPlugin } from '@jupyterlab/application'; /** * Sniff each opened document's leading whitespace and configure CodeMirror's * `indentUnit` / `tabSize` to match. JupyterLab only exposes a single global * indent setting, which means TypeScript files written with 4-space indent and * Python files written with 2-space indent both look wrong in the same editor; * detecting from the file's own content sidesteps that without forcing every * project to share the same convention. * * Detection runs at editor-construction time and again on the first content * change — that second pass exists because JupyterLab's collaborative document * loader can settle the file body into the shared model after the editor view * already exists, in which case the factory would otherwise have only seen an * empty string. */ declare const plugin: JupyterFrontEndPlugin; export default plugin;