Update selection rendering when font size changes

This commit is contained in:
Nathan Sobo
2012-11-07 14:22:43 -07:00
parent df392359f9
commit 144cfadb15
2 changed files with 17 additions and 0 deletions

View File

@@ -575,6 +575,7 @@ class Editor extends View
@updatePaddingOfRenderedLines()
@handleScrollHeightChange()
@updateCursorViews()
@updateSelectionViews()
@updateRenderedLines()
newSplitEditor: ->
@@ -668,6 +669,10 @@ class Editor extends View
for cursorView in @getCursorViews()
cursorView.updateAppearance()
updateSelectionViews: ->
for selectionView in @getSelectionViews()
selectionView.updateAppearance()
syncCursorAnimations: ->
for cursorView in @getCursorViews()
do (cursorView) -> cursorView.resetCursorAnimation()