elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-26 21:18:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

add missing flash checkbox

Browse Source
This commit is contained in:
Felix Roos 2023-12-29 13:58:06 +01:00
parent 967dea346f
commit 9fd2d3d640
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
website/src/repl/panel/SettingsTab.jsx
View File

@ -81,6 +81,7 @@ export function SettingsTab() {
isActiveLineHighlighted, isActiveLineHighlighted,
isAutoCompletionEnabled, isAutoCompletionEnabled,
isTooltipEnabled, isTooltipEnabled,
isFlashEnabled,
isLineWrappingEnabled, isLineWrappingEnabled,
fontSize, fontSize,
fontFamily, fontFamily,
@ -155,6 +156,11 @@ export function SettingsTab() {
onChange={(cbEvent) => settingsMap.setKey('isLineWrappingEnabled', cbEvent.target.checked)} onChange={(cbEvent) => settingsMap.setKey('isLineWrappingEnabled', cbEvent.target.checked)}
value={isLineWrappingEnabled} value={isLineWrappingEnabled}
/> />
<Checkbox
label="Enable flashing on evaluation"
onChange={(cbEvent) => settingsMap.setKey('isFlashEnabled', cbEvent.target.checked)}
value={isFlashEnabled}
/>
</FormItem> </FormItem>
<FormItem label="Zen Mode">Try clicking the logo in the top left!</FormItem> <FormItem label="Zen Mode">Try clicking the logo in the top left!</FormItem>
<FormItem label="Reset Settings"> <FormItem label="Reset Settings">

2
website/src/settings.mjs
View File

@ -11,6 +11,7 @@ export const defaultSettings = {
isActiveLineHighlighted: true, isActiveLineHighlighted: true,
isAutoCompletionEnabled: false, isAutoCompletionEnabled: false,
isTooltipEnabled: false, isTooltipEnabled: false,
isFlashEnabled: true,
isLineWrappingEnabled: false, isLineWrappingEnabled: false,
isPatternHighlightingEnabled: true, isPatternHighlightingEnabled: true,
theme: 'strudelTheme', theme: 'strudelTheme',
@ -54,6 +55,7 @@ export function useSettings() {
isPatternHighlightingEnabled: [true, 'true'].includes(state.isPatternHighlightingEnabled) ? true : false, isPatternHighlightingEnabled: [true, 'true'].includes(state.isPatternHighlightingEnabled) ? true : false,
isTooltipEnabled: [true, 'true'].includes(state.isTooltipEnabled) ? true : false, isTooltipEnabled: [true, 'true'].includes(state.isTooltipEnabled) ? true : false,
isLineWrappingEnabled: [true, 'true'].includes(state.isLineWrappingEnabled) ? true : false, isLineWrappingEnabled: [true, 'true'].includes(state.isLineWrappingEnabled) ? true : false,
isFlashEnabled: [true, 'true'].includes(state.isFlashEnabled) ? true : false,
fontSize: Number(state.fontSize), fontSize: Number(state.fontSize),
panelPosition: state.activeFooter !== '' ? state.panelPosition : 'bottom', panelPosition: state.activeFooter !== '' ? state.panelPosition : 'bottom',
userPatterns: JSON.parse(state.userPatterns), userPatterns: JSON.parse(state.userPatterns),