github/atom
1
1
Fork 0
mirror of https://github.com/atom/atom.git synced 2026-01-22 21:38:10 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7281 from atom/sm-default-editor-font

Browse Source 
New default editor font
This commit is contained in:
Kevin Sawicki
2015-06-19 09:12:18 -07:00
parent 9725398445 533abc5a63
commit bde74dee0b
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/config-schema.coffee
View File

@@ -103,12 +103,12 @@ module.exports =
default: ''
fontSize:
type: 'integer'
default: 16
default: 14
minimum: 1
maximum: 100
lineHeight:
type: ['string', 'number']
default: 1.3
default: 1.5
showInvisibles:
type: 'boolean'
default: false

3
static/text-editor-light.less
View File

@@ -4,8 +4,7 @@
atom-text-editor {
display: block;
font-family: Inconsolata, Monaco, Consolas, 'DejaVu Sans Mono', monospace;
line-height: 1.3;
font-family: Menlo, Consolas, 'DejaVu Sans Mono', monospace;
}
atom-text-editor[mini] {