public/Boostnote
1
0
Fork 0
mirror of https://github.com/BoostIo/Boostnote synced 2025-12-13 17:56:25 +00:00
Code Issues Releases Wiki Activity

Merge pull request #2831 from roottool/change_default_editor_font#1995

Browse Source 
Change default editor font #1995
This commit is contained in:
Junyoung Choi
2019-01-28 10:02:19 +09:00
committed by GitHub
parent 74535c9cba 4cce52f9ce
commit 543c31cec6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
browser/main/lib/ConfigManager.js
View File

@@ -41,7 +41,7 @@ export const DEFAULT_CONFIG = {
theme: 'base16-light', theme: 'base16-light',
keyMap: 'sublime', keyMap: 'sublime',
fontSize: '14', fontSize: '14',
fontFamily: win ? 'Segoe UI' : 'Monaco, Consolas', fontFamily: win ? 'Consolas' : 'Monaco',
indentType: 'space', indentType: 'space',
indentSize: '2', indentSize: '2',
enableRulers: false, enableRulers: false,