import { JupyterFrontEndPlugin } from '@jupyterlab/application';
/**
 * Contribute `xtralab:highlight-lines` and `xtralab:clear-highlights`.
 *
 * The built-in command surface can open a file (`docmanager:open`) and move
 * the cursor to a line (`fileeditor:go-to-line`), but it cannot persistently
 * highlight a span of lines — `documentsearch:start` only marks text matches
 * and hijacks the find box. This plugin fills that gap with a CodeMirror line
 * decoration, so an agent can point at "lines 31–43 of src/index.ts" while it
 * narrates a walkthrough. `xtralab:highlight-lines` opens the file when needed,
 * scrolls the range into view, and replaces any previous highlight in that
 * editor; `xtralab:clear-highlights` removes every highlight.
 */
declare const plugin: JupyterFrontEndPlugin<void>;
export default plugin;