Add configurable indentation

This commit is contained in:
Misode
2021-06-26 19:19:51 +02:00
parent 56ab28f4d8
commit 2fb4848425
9 changed files with 94 additions and 41 deletions

View File

@@ -5,6 +5,7 @@ export namespace Store {
export const ID_LANGUAGE = 'language'
export const ID_THEME = 'theme'
export const ID_VERSION = 'schema_version'
export const ID_INDENT = 'indentation'
export function getLanguage() {
return localStorage.getItem(ID_LANGUAGE) ?? 'en'
@@ -22,6 +23,10 @@ export namespace Store {
return '1.17'
}
export function getIndent() {
return localStorage.getItem(ID_INDENT) ?? '2_spaces'
}
export function setLanguage(language: string | undefined) {
if (language) localStorage.setItem(ID_LANGUAGE, language)
}
@@ -33,4 +38,8 @@ export namespace Store {
export function setVersion(version: VersionId | undefined) {
if (version) localStorage.setItem(ID_VERSION, version)
}
export function setIndent(indent: string) {
if (indent) localStorage.setItem(ID_INDENT, indent)
}
}