import { FontFamily, LineHeight, OverallTheme, } from '../../../../../modules/source-editor/frontend/js/extensions/theme' import { Keybindings, PdfViewer } from '../../../../../types/project-settings' import { postJSON } from '../../../infrastructure/fetch-json' export type UserSettingsScope = { pdfViewer: PdfViewer autoComplete: boolean autoPairDelimiters: boolean syntaxValidation: boolean editorTheme: string overallTheme: OverallTheme mode: Keybindings fontSize: string fontFamily: FontFamily lineHeight: LineHeight } export function saveUserSettings(data: Partial) { postJSON('/user/settings', { body: data, }) }