From 58e0f66a90ab04e0543f0f558f0cd1853c9efc30 Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Mon, 11 Jul 2016 15:10:42 -0700 Subject: [PATCH] Supply default settings in TextEditor --- src/text-editor.coffee | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/text-editor.coffee b/src/text-editor.coffee index 0deb0c70d..796280ae9 100644 --- a/src/text-editor.coffee +++ b/src/text-editor.coffee @@ -137,17 +137,19 @@ class TextEditor extends Model @assert ?= (condition) -> condition @firstVisibleScreenRow ?= 0 @firstVisibleScreenColumn ?= 0 - @mini ?= false @emitter = new Emitter @disposables = new CompositeDisposable @cursors = [] @cursorsByMarkerId = new Map @selections = [] - @autoHeight ?= true - @scrollPastEnd ?= true @hasTerminatedPendingState = false + @autoHeight ?= true + @mini ?= false + @scrollPastEnd ?= true @showInvisibles ?= true + @softTabs ?= true + @tabLength ?= 2 @buffer ?= new TextBuffer @tokenizedBuffer ?= new TokenizedBuffer({ @@ -161,6 +163,7 @@ class TextEditor extends Model @decorationManager = new DecorationManager(@displayLayer, @defaultMarkerLayer) @decorateMarkerLayer(@displayLayer.foldsMarkerLayer, {type: 'line-number', class: 'folded'}) + @resetDisplayLayer() for marker in @selectionsMarkerLayer.getMarkers() @addSelection(marker)