From ff0af15ac7617692837d03db00fcfd4a184f0883 Mon Sep 17 00:00:00 2001 From: Kaspars Date: Mon, 13 Nov 2023 00:06:01 +0100 Subject: [PATCH 1/3] remove unwanted cm6 outline for strudelTheme --- packages/react/src/themes/strudel-theme.js | 1 + website/src/repl/themes.mjs | 1 + 2 files changed, 2 insertions(+) diff --git a/packages/react/src/themes/strudel-theme.js b/packages/react/src/themes/strudel-theme.js index 4ae31060..4d60cbba 100644 --- a/packages/react/src/themes/strudel-theme.js +++ b/packages/react/src/themes/strudel-theme.js @@ -13,6 +13,7 @@ export default createTheme({ gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', + customStyle: '.cm-focused { outline: none !important }', }, styles: [ { tag: t.keyword, color: '#c792ea' }, diff --git a/website/src/repl/themes.mjs b/website/src/repl/themes.mjs index bee95fd1..a7f989cd 100644 --- a/website/src/repl/themes.mjs +++ b/website/src/repl/themes.mjs @@ -93,6 +93,7 @@ export const settings = { gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', + customStyle: '.cm-focused { outline: none !important }', }, bluescreen: bluescreenSettings, blackscreen: blackscreenSettings, From 7f1919ebc649e2e7d57d329b7a839fe1311bac9d Mon Sep 17 00:00:00 2001 From: Kaspars Date: Tue, 14 Nov 2023 11:16:51 +0100 Subject: [PATCH 2/3] move fix to Repl.css --- packages/react/src/themes/strudel-theme.js | 1 - website/src/repl/Repl.css | 4 ++++ website/src/repl/themes.mjs | 1 - 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/packages/react/src/themes/strudel-theme.js b/packages/react/src/themes/strudel-theme.js index 4d60cbba..4ae31060 100644 --- a/packages/react/src/themes/strudel-theme.js +++ b/packages/react/src/themes/strudel-theme.js @@ -13,7 +13,6 @@ export default createTheme({ gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', - customStyle: '.cm-focused { outline: none !important }', }, styles: [ { tag: t.keyword, color: '#c792ea' }, diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css index 0400db7a..4fbebb29 100644 --- a/website/src/repl/Repl.css +++ b/website/src/repl/Repl.css @@ -57,3 +57,7 @@ #code .cm-foldGutter { display: none !important; } + +#code .cm-focused { + outline: none; +} \ No newline at end of file diff --git a/website/src/repl/themes.mjs b/website/src/repl/themes.mjs index a7f989cd..bee95fd1 100644 --- a/website/src/repl/themes.mjs +++ b/website/src/repl/themes.mjs @@ -93,7 +93,6 @@ export const settings = { gutterBackground: 'transparent', // gutterForeground: '#8a919966', gutterForeground: '#8a919966', - customStyle: '.cm-focused { outline: none !important }', }, bluescreen: bluescreenSettings, blackscreen: blackscreenSettings, From 8d5ef45e2b28867d7356a281b4a0363a970befa7 Mon Sep 17 00:00:00 2001 From: Kaspars Date: Wed, 15 Nov 2023 19:22:52 +0100 Subject: [PATCH 3/3] fix codeformat --- website/src/repl/Repl.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css index 4fbebb29..9c4a440d 100644 --- a/website/src/repl/Repl.css +++ b/website/src/repl/Repl.css @@ -60,4 +60,4 @@ #code .cm-focused { outline: none; -} \ No newline at end of file +}