Archives/gristlabs_grist-core
1
0
Fork 0
mirror of https://github.com/gristlabs/grist-core.git synced 2026-03-02 04:09:24 +00:00
Code Issues Projects Releases Wiki Activity

(core) updates from grist-core

Browse Source
This commit is contained in:
Paul Fitzpatrick
2023-04-03 09:52:54 -04:00
parent fb1332d529 4b75ed296c
commit 5730262c69
12 changed files with 159 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
app/client/ui/CodeHighlight.ts
View File

@@ -17,7 +17,7 @@ export function buildHighlightedCode(
): HTMLElement {
const highlighter = ace.acequire('ace/ext/static_highlight');
const PythonMode = ace.acequire('ace/mode/python').Mode;
const theme = ace.acequire('ace/theme/chrome');
const aceTheme = ace.acequire('ace/theme/chrome');
const mode = new PythonMode();
return cssHighlightedCode(
@@ -32,7 +32,7 @@ export function buildHighlightedCode(
codeText = lines.slice(0, options.maxLines).join("\n") + " \u2026"; // Ellipsis
}
}
elem.innerHTML = highlighter.render(codeText, mode, theme, 1, true).html;
elem.innerHTML = highlighter.render(codeText, mode, aceTheme, 1, true).html;
} else {
elem.textContent = options.placeholder || '';
}