From fc7e9312d00e60171ed77c477ed91231d3dbfff9 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 12 Dec 2021 17:48:47 +0100 Subject: build: move modules into subproject directory --- language-web/src/main/js/editor/EditorParent.ts | 205 ------------------------ 1 file changed, 205 deletions(-) delete mode 100644 language-web/src/main/js/editor/EditorParent.ts (limited to 'language-web/src/main/js/editor/EditorParent.ts') diff --git a/language-web/src/main/js/editor/EditorParent.ts b/language-web/src/main/js/editor/EditorParent.ts deleted file mode 100644 index 94ca24ea..00000000 --- a/language-web/src/main/js/editor/EditorParent.ts +++ /dev/null @@ -1,205 +0,0 @@ -import { styled } from '@mui/material/styles'; - -/** - * Returns a squiggly underline background image encoded as a CSS `url()` data URI with Base64. - * - * Based on - * https://github.com/codemirror/lint/blob/f524b4a53b0183bb343ac1e32b228d28030d17af/src/lint.ts#L501 - * - * @param color the color of the underline - * @returns the CSS `url()` - */ -function underline(color: string) { - const svg = ` - - `; - const svgBase64 = window.btoa(svg); - return `url('data:image/svg+xml;base64,${svgBase64}')`; -} - -export const EditorParent = styled('div')(({ theme }) => { - const codeMirrorLintStyle: Record = {}; - (['error', 'warning', 'info'] as const).forEach((severity) => { - const color = theme.palette[severity].main; - codeMirrorLintStyle[`.cm-diagnostic-${severity}`] = { - borderLeftColor: color, - }; - codeMirrorLintStyle[`.cm-lintRange-${severity}`] = { - backgroundImage: underline(color), - }; - }); - - return { - background: theme.palette.background.default, - '&, .cm-editor': { - height: '100%', - }, - '.cm-content': { - padding: 0, - }, - '.cm-scroller, .cm-tooltip-autocomplete, .cm-completionLabel, .cm-completionDetail': { - fontSize: 16, - fontFamily: '"JetBrains MonoVariable", "JetBrains Mono", monospace', - fontFeatureSettings: '"liga", "calt"', - fontWeight: 400, - letterSpacing: 0, - textRendering: 'optimizeLegibility', - }, - '.cm-scroller': { - color: theme.palette.text.secondary, - }, - '.cm-gutters': { - background: 'rgba(255, 255, 255, 0.1)', - color: theme.palette.text.disabled, - border: 'none', - }, - '.cm-specialChar': { - color: theme.palette.secondary.main, - }, - '.cm-activeLine': { - background: 'rgba(0, 0, 0, 0.3)', - }, - '.cm-activeLineGutter': { - background: 'transparent', - }, - '.cm-lineNumbers .cm-activeLineGutter': { - color: theme.palette.text.primary, - }, - '.cm-cursor, .cm-cursor-primary': { - borderColor: theme.palette.primary.main, - background: theme.palette.common.black, - }, - '.cm-selectionBackground': { - background: '#3e4453', - }, - '.cm-focused': { - outline: 'none', - '.cm-selectionBackground': { - background: '#3e4453', - }, - }, - '.cm-panels-top': { - color: theme.palette.text.secondary, - }, - '.cm-panel': { - '&, & button, & input': { - fontFamily: '"Roboto","Helvetica","Arial",sans-serif', - }, - background: theme.palette.background.paper, - borderTop: `1px solid ${theme.palette.divider}`, - 'button[name="close"]': { - background: 'transparent', - color: theme.palette.text.secondary, - cursor: 'pointer', - }, - }, - '.cm-panel.cm-panel-lint': { - 'button[name="close"]': { - // Close button interferes with scrollbar, so we better hide it. - // The panel can still be closed from the toolbar. - display: 'none', - }, - ul: { - li: { - borderBottom: `1px solid ${theme.palette.divider}`, - cursor: 'pointer', - }, - '[aria-selected]': { - background: '#3e4453', - color: theme.palette.text.primary, - }, - '&:focus [aria-selected]': { - background: theme.palette.primary.main, - color: theme.palette.primary.contrastText, - }, - }, - }, - '.cm-foldPlaceholder': { - background: theme.palette.background.paper, - borderColor: theme.palette.text.disabled, - color: theme.palette.text.secondary, - }, - '.cmt-comment': { - fontStyle: 'italic', - color: theme.palette.text.disabled, - }, - '.cmt-number': { - color: '#6188a6', - }, - '.cmt-string': { - color: theme.palette.secondary.dark, - }, - '.cmt-keyword': { - color: theme.palette.primary.main, - }, - '.cmt-typeName, .cmt-macroName, .cmt-atom': { - color: theme.palette.text.primary, - }, - '.cmt-variableName': { - color: '#c8ae9d', - }, - '.cmt-problem-node': { - '&, & .cmt-variableName': { - color: theme.palette.text.secondary, - }, - }, - '.cmt-problem-individual': { - '&, & .cmt-variableName': { - color: theme.palette.text.primary, - }, - }, - '.cmt-problem-abstract, .cmt-problem-new': { - fontStyle: 'italic', - }, - '.cmt-problem-containment': { - fontWeight: 700, - }, - '.cmt-problem-error': { - '&, & .cmt-typeName': { - color: theme.palette.error.main, - }, - }, - '.cmt-problem-builtin': { - '&, & .cmt-typeName, & .cmt-atom, & .cmt-variableName': { - color: theme.palette.primary.main, - fontWeight: 400, - fontStyle: 'normal', - }, - }, - '.cm-tooltip-autocomplete': { - background: theme.palette.background.paper, - boxShadow: `0px 2px 4px -1px rgb(0 0 0 / 20%), - 0px 4px 5px 0px rgb(0 0 0 / 14%), - 0px 1px 10px 0px rgb(0 0 0 / 12%)`, - '.cm-completionIcon': { - color: theme.palette.text.secondary, - }, - '.cm-completionLabel': { - color: theme.palette.text.primary, - }, - '.cm-completionDetail': { - color: theme.palette.text.secondary, - fontStyle: 'normal', - }, - '[aria-selected]': { - background: `${theme.palette.primary.main} !important`, - '.cm-completionIcon, .cm-completionLabel, .cm-completionDetail': { - color: theme.palette.primary.contrastText, - }, - }, - }, - '.cm-completionIcon': { - width: 16, - padding: 0, - marginRight: '0.5em', - textAlign: 'center', - }, - ...codeMirrorLintStyle, - '.cm-problem-write': { - background: 'rgba(255, 255, 128, 0.3)', - }, - '.cm-problem-read': { - background: 'rgba(255, 255, 255, 0.15)', - }, - }; -}); -- cgit v1.2.3-70-g09d2