Refresh line numbers in gutter by setting innerHTML for speed

This commit is contained in:
Nathan Sobo
2012-03-12 19:15:19 -06:00
parent 633e07d537
commit 9d0f1bc3f7

View File

@@ -1,4 +1,4 @@
{View, $$} = require 'space-pen'
{View, $$$} = require 'space-pen'
$ = require 'jquery'
_ = require 'underscore'
@@ -11,7 +11,8 @@ class Gutter extends View
renderLineNumbers: ->
lastRow = -1
screenRows = @parentView.bufferRowsForScreenRows()
@html $$ ->
this.innerHTML = $$$ ->
for row in screenRows
@div {class: 'line-number'}, if row == lastRow then '' else row + 1
lastRow = row