mirror of
https://github.com/livebook-dev/livebook.git
synced 2024-12-31 04:02:10 +08:00
0983a9df77
* Update sections panel * Add deletion confirm and unify buttons * Align notebook title * Fix whitespace shrinking in the editor * Update session deletion route
82 lines
2.9 KiB
JavaScript
82 lines
2.9 KiB
JavaScript
import * as monaco from "monaco-editor/esm/vs/editor/editor.api";
|
|
import ElixirLanguageConfiguration from "./elixir/language_configuration";
|
|
import ElixirMonarchLanguage from "./elixir/monarch_language";
|
|
import ElixirOnTypeFormattingEditProvider from "./elixir/on_type_formatting_edit_provider";
|
|
|
|
// Register the Elixir language and add relevant configuration
|
|
monaco.languages.register({ id: "elixir" });
|
|
|
|
monaco.languages.setLanguageConfiguration(
|
|
"elixir",
|
|
ElixirLanguageConfiguration
|
|
);
|
|
|
|
monaco.languages.registerOnTypeFormattingEditProvider(
|
|
"elixir",
|
|
ElixirOnTypeFormattingEditProvider
|
|
);
|
|
|
|
monaco.languages.setMonarchTokensProvider("elixir", ElixirMonarchLanguage);
|
|
|
|
// Define custom theme
|
|
|
|
monaco.editor.defineTheme("custom", {
|
|
base: "vs-dark",
|
|
inherit: false,
|
|
rules: [
|
|
{ token: "", foreground: "#abb2bf" },
|
|
{ token: "variable", foreground: "#e06c75" },
|
|
{ token: "constant", foreground: "#61afef" },
|
|
{ token: "constant.character.escape", foreground: "#61afef" },
|
|
{ token: "comment", foreground: "#5c6370" },
|
|
{ token: "number", foreground: "#61afef" },
|
|
{ token: "regexp", foreground: "#e06c75" },
|
|
{ token: "type", foreground: "#e06c75" },
|
|
{ token: "string", foreground: "#98c379" },
|
|
{ token: "keyword", foreground: "#c678dd" },
|
|
{ token: "operator", foreground: "#d19a66" },
|
|
{ token: "delimiter.bracket.embed", foreground: "#be5046" },
|
|
{ token: "sigil", foreground: "#56b6c2" },
|
|
{ token: "function", foreground: "#61afef" },
|
|
{ token: "function.call", foreground: "#abb2bf" },
|
|
|
|
// Markdown specific
|
|
{ token: "emphasis", fontStyle: "italic" },
|
|
{ token: "strong", fontStyle: "bold" },
|
|
{ token: "keyword.md", foreground: "#e06c75" },
|
|
{ token: "keyword.table", foreground: "#e06c75" },
|
|
{ token: "string.link.md", foreground: "#61afef" },
|
|
{ token: "variable.md", foreground: "#56b6c2" },
|
|
],
|
|
|
|
colors: {
|
|
"editor.background": "#282c34",
|
|
"editor.foreground": "#abb2bf",
|
|
"editorLineNumber.foreground": "#636d83",
|
|
"editorCursor.foreground": "#636d83",
|
|
"editor.selectionBackground": "#3e4451",
|
|
"editor.findMatchHighlightBackground": "#528bff3D",
|
|
"editorSuggestWidget.background": "#21252b",
|
|
"editorSuggestWidget.border": "#181a1f",
|
|
"editorSuggestWidget.selectedBackground": "#2c313a",
|
|
"input.background": "#1b1d23",
|
|
"input.border": "#181a1f",
|
|
},
|
|
});
|
|
|
|
// See https://github.com/microsoft/monaco-editor/issues/648#issuecomment-564978560
|
|
// Without this selecting text with whitespace shrinks the whitespace.
|
|
document.fonts.addEventListener("loadingdone", (event) => {
|
|
const jetBrainsMonoLoaded = event.fontfaces.some(
|
|
(fontFace) => fontFace.family === "JetBrains Mono"
|
|
);
|
|
|
|
if (jetBrainsMonoLoaded) {
|
|
// We use JetBrains Mono in all instances of the editor,
|
|
// so we wait until it loads and then tell Monaco to remeasure
|
|
// fonts and updates its cache.
|
|
monaco.editor.remeasureFonts();
|
|
}
|
|
});
|
|
|
|
export default monaco;
|