mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2025-01-08 16:19:17 +03:00
Fix specs
This commit is contained in:
parent
0d2fdec326
commit
969ca048e8
@ -73,9 +73,8 @@ class EditorView extends View
|
||||
default: 16
|
||||
minimum: 1
|
||||
lineHeight:
|
||||
type: 'number'
|
||||
type: 'string'
|
||||
default: 1.3
|
||||
minimum: 1.0
|
||||
showInvisibles:
|
||||
type: 'boolean'
|
||||
default: false
|
||||
|
Loading…
Reference in New Issue
Block a user