Light theme
{#each lightThemes as theme} {#if theme.id === selectedLightTheme}
{theme.name}
{/if} {/each}
{#each lightThemes as theme}
{theme.name}
{/each}
Dark theme
{#each darkThemes as theme} {#if theme.id === selectedDarkTheme}
{theme.name}
{/if} {/each}
{#each darkThemes as theme}
{theme.name}
{/each}
Font
{#each fonts as font} {#if font.id === selectedFont}
{font.name}
{/if} {/each}
{#each fonts as font}
{font.name}
{/each}
Font size
{#each fontSizes as size} {#if size.id === selectedFontSize}
{size.name}
{/if} {/each}
{#each fontSizes as size}
{size.name}
{/each}
Grid font size
{#each fontSizes as size} {#if size.id === selectedGridFontSize}
{size.name}
{/if} {/each}
{#each fontSizes as size}
{size.name}
{/each}
Terminal font
{#each monospaceFonts as font} {#if font.id === selectedTerminalFont}
{font.name}
{/if} {/each}
{#each monospaceFonts as font}
{font.name}
{/each}