From b02a5b872ad5c31b38150545255084686594e0dd Mon Sep 17 00:00:00 2001 From: zadam Date: Thu, 4 Nov 2021 21:23:16 +0100 Subject: [PATCH] default font family after checking font overriding should be "theme" --- src/services/options_init.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/services/options_init.js b/src/services/options_init.js index 6c77c6207..31b64927e 100644 --- a/src/services/options_init.js +++ b/src/services/options_init.js @@ -57,13 +57,13 @@ const defaultOptions = [ { name: 'protectedSessionTimeout', value: '600', isSynced: true }, { name: 'zoomFactor', value: '1.0', isSynced: false }, { name: 'overrideThemeFonts', value: 'false', isSynced: false }, - { name: 'mainFontFamily', value: 'sans-serif', isSynced: false }, + { name: 'mainFontFamily', value: 'theme', isSynced: false }, { name: 'mainFontSize', value: '100', isSynced: false }, - { name: 'treeFontFamily', value: 'sans-serif', isSynced: false }, + { name: 'treeFontFamily', value: 'theme', isSynced: false }, { name: 'treeFontSize', value: '100', isSynced: false }, - { name: 'detailFontFamily', value: 'sans-serif', isSynced: false }, + { name: 'detailFontFamily', value: 'theme', isSynced: false }, { name: 'detailFontSize', value: '110', isSynced: false }, - { name: 'monospaceFontFamily', value: 'monospace', isSynced: false }, + { name: 'monospaceFontFamily', value: 'theme', isSynced: false }, { name: 'monospaceFontSize', value: '110', isSynced: false }, { name: 'spellCheckEnabled', value: 'true', isSynced: false }, { name: 'spellCheckLanguageCode', value: 'en-US', isSynced: false },