From 9fd2d3d6406d5773eb14faee531d81856d937846 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Fri, 29 Dec 2023 13:58:06 +0100 Subject: [PATCH] add missing flash checkbox --- website/src/repl/panel/SettingsTab.jsx | 6 ++++++ website/src/settings.mjs | 2 ++ 2 files changed, 8 insertions(+) diff --git a/website/src/repl/panel/SettingsTab.jsx b/website/src/repl/panel/SettingsTab.jsx index 4807e70a..9297b0e4 100644 --- a/website/src/repl/panel/SettingsTab.jsx +++ b/website/src/repl/panel/SettingsTab.jsx @@ -81,6 +81,7 @@ export function SettingsTab() { isActiveLineHighlighted, isAutoCompletionEnabled, isTooltipEnabled, + isFlashEnabled, isLineWrappingEnabled, fontSize, fontFamily, @@ -155,6 +156,11 @@ export function SettingsTab() { onChange={(cbEvent) => settingsMap.setKey('isLineWrappingEnabled', cbEvent.target.checked)} value={isLineWrappingEnabled} /> + settingsMap.setKey('isFlashEnabled', cbEvent.target.checked)} + value={isFlashEnabled} + /> Try clicking the logo in the top left! diff --git a/website/src/settings.mjs b/website/src/settings.mjs index 489bd71c..21da1d3f 100644 --- a/website/src/settings.mjs +++ b/website/src/settings.mjs @@ -11,6 +11,7 @@ export const defaultSettings = { isActiveLineHighlighted: true, isAutoCompletionEnabled: false, isTooltipEnabled: false, + isFlashEnabled: true, isLineWrappingEnabled: false, isPatternHighlightingEnabled: true, theme: 'strudelTheme', @@ -54,6 +55,7 @@ export function useSettings() { isPatternHighlightingEnabled: [true, 'true'].includes(state.isPatternHighlightingEnabled) ? true : false, isTooltipEnabled: [true, 'true'].includes(state.isTooltipEnabled) ? true : false, isLineWrappingEnabled: [true, 'true'].includes(state.isLineWrappingEnabled) ? true : false, + isFlashEnabled: [true, 'true'].includes(state.isFlashEnabled) ? true : false, fontSize: Number(state.fontSize), panelPosition: state.activeFooter !== '' ? state.panelPosition : 'bottom', userPatterns: JSON.parse(state.userPatterns),