hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix settings style for right panel

Browse source
This commit is contained in:
Felix Roos 2023-08-18 23:23:12 +02:00
parent dabc0331cb
commit 195e6b61f9
1 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

16
website/src/repl/Footer.jsx
View file

@ -430,7 +430,6 @@ function SettingsTab({ scheduler }) {
/> />
</FormItem> </FormItem>
</div> </div>
<div className="grid grid-cols-1 md:grid-cols-4 gap-4">
<FormItem label="Keybindings"> <FormItem label="Keybindings">
<ButtonGroup <ButtonGroup
value={keybindings} value={keybindings}
@ -438,6 +437,14 @@ function SettingsTab({ scheduler }) {
items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs' }} items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs' }}
></ButtonGroup> ></ButtonGroup>
</FormItem> </FormItem>
<FormItem label="Footer Position">
<ButtonGroup
value={panelPosition}
onChange={(value) => settingsMap.setKey('panelPosition', value)}
items={{ bottom: 'Bottom', right: 'Right' }}
></ButtonGroup>
</FormItem>
<FormItem label="Code Settings">
<Checkbox <Checkbox
label="Display line numbers" label="Display line numbers"
onChange={(cbEvent) => settingsMap.setKey('isLineNumbersDisplayed', cbEvent.target.checked)} onChange={(cbEvent) => settingsMap.setKey('isLineNumbersDisplayed', cbEvent.target.checked)}
@ -453,14 +460,7 @@ function SettingsTab({ scheduler }) {
onChange={(cbEvent) => settingsMap.setKey('isLineWrappingEnabled', cbEvent.target.checked)} onChange={(cbEvent) => settingsMap.setKey('isLineWrappingEnabled', cbEvent.target.checked)}
value={isLineWrappingEnabled} value={isLineWrappingEnabled}
/> />
<FormItem label="Footer Position">
<ButtonGroup
value={panelPosition}
onChange={(value) => settingsMap.setKey('panelPosition', value)}
items={{ bottom: 'Bottom', right: 'Right' }}
></ButtonGroup>
</FormItem> </FormItem>
</div>
<FormItem label="Reset Settings"> <FormItem label="Reset Settings">
<button <button
className="bg-background p-2 max-w-[300px] rounded-md hover:opacity-50" className="bg-background p-2 max-w-[300px] rounded-md hover:opacity-50"