source: frontend/node_modules/launch-editor/index.d.ts

Last change on this file was 9af201e, checked in by MBK <marija.karapandzova@…>, 11 days ago

Fix frontend appearance

  • Property mode set to 100644
File size: 593 bytes
Line 
1/**
2 * Launch an editor to open a file at a specific line and column.
3 *
4 * @param file File path with optional line and column numbers (e.g.
5 * "/path/to/file.js:10:2").
6 * @param specifiedEditor Optional editor command or path to use. Will be
7 * parsed using `shell-quote`.
8 * @param onErrorCallback Optional callback for handling errors.
9 */
10declare function launchEditor(
11 file: string,
12 specifiedEditor?: string | ((fileName: string, errorMessage: string | null) => void),
13 onErrorCallback?: (fileName: string, errorMessage: string | null) => void
14): void;
15
16export = launchEditor;
Note: See TracBrowser for help on using the repository browser.