hotfix: export mondo getLocations
This commit is contained in:
parent
702e558d1a
commit
c42d00f048
1 changed files with 1 additions and 1 deletions
|
|
@ -108,7 +108,7 @@ export function mondo(code, offset = 0) {
|
||||||
return pat.markcss('color: var(--caret,--foreground);text-decoration:underline');
|
return pat.markcss('color: var(--caret,--foreground);text-decoration:underline');
|
||||||
}
|
}
|
||||||
|
|
||||||
let getLocations = (code, offset) => runner.parser.get_locations(code, offset);
|
export let getLocations = (code, offset) => runner.parser.get_locations(code, offset);
|
||||||
|
|
||||||
export const mondi = (str, offset) => {
|
export const mondi = (str, offset) => {
|
||||||
const code = `[${str}]`;
|
const code = `[${str}]`;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue