/** * Just provides a nice *type* over the simple transient settings */ import {server} from "../../socket/socketClient"; import {getSessionId} from "./clientSession"; import * as types from "../../common/types"; function setSetting(key: string, value: any) { server.setSetting({ sessionId: getSessionId(), settingId: key, value }); } function getSetting(key: string): Promise { return server.getSetting({ sessionId: getSessionId(), settingId: key }); } function createSimpleSetting(key: string) { return { set: (value: T): void => { setSetting(key, value); }, get: (): Promise => { return getSetting(key) } } } /** * DOCTOR */ export const showDoctor = createSimpleSetting('showDoctor'); /** * Semantic View */ export const showSemanticView = createSimpleSetting('showSemanticView'); /** * Errors expanded */ export const errorsExpanded = createSimpleSetting('errorsExpanded'); /** * Errors Display Mode */ export const errorsDisplayMode = createSimpleSetting('errorsDisplayMode'); /** * File Tree expanded */ export const fileTreeExpanded = createSimpleSetting('fileTreeExpanded'); /** * File Tree width */ export const fileTreeWidth = createSimpleSetting('fileTreeWidth'); /** * Main panel height */ export const mainPanelHeight = createSimpleSetting('mainPanelHeight');