public/Boostnote
1
0
Fork 0
mirror of https://github.com/BoostIo/Boostnote synced 2025-12-14 02:06:29 +00:00
Code Issues Releases Wiki Activity

Fix: Fixed that default rule was shifted by indent

Browse Source
This commit is contained in:
roottool
2019-05-09 05:29:43 +09:00
parent 2da4f1df32
commit c42eb41fb3
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -10,6 +10,9 @@ const { ipcRenderer } = electron
const consts = require('browser/lib/consts') const consts = require('browser/lib/consts')
let isInitialized = false let isInitialized = false
const DEFAULT_MARKDOWN_LINT_CONFIG = `{
"default": true
}`
export const DEFAULT_CONFIG = { export const DEFAULT_CONFIG = {
zoom: 1, zoom: 1,
@@ -60,9 +63,7 @@ export const DEFAULT_CONFIG = {
frontMatterTitleField: 'title', frontMatterTitleField: 'title',
spellcheck: false, spellcheck: false,
enableSmartPaste: false, enableSmartPaste: false,
customMarkdownLintConfig: `{ customMarkdownLintConfig: DEFAULT_MARKDOWN_LINT_CONFIG
"default": true
}`
}, },
preview: { preview: {
fontSize: '14', fontSize: '14',
@@ -138,7 +139,7 @@ function get () {
const theme = consts.THEMES.find(theme => theme.name === config.editor.theme) const theme = consts.THEMES.find(theme => theme.name === config.editor.theme)
if (theme) { if (theme) {
editorTheme.setAttribute('href', `../${theme.path}`) editorTheme.setAttribute('href', `${theme.path}`)
} else { } else {
config.editor.theme = 'default' config.editor.theme = 'default'
} }
@@ -180,7 +181,7 @@ function set (updates) {
const newTheme = consts.THEMES.find(theme => theme.name === newConfig.editor.theme) const newTheme = consts.THEMES.find(theme => theme.name === newConfig.editor.theme)
if (newTheme) { if (newTheme) {
editorTheme.setAttribute('href', `../${newTheme.path}`) editorTheme.setAttribute('href', `${newTheme.path}`)
} }
ipcRenderer.send('config-renew', { ipcRenderer.send('config-renew', {