mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 15:37:46 +03:00
Build all lines numbers as a single chunk of html
This commit is contained in:
parent
0a38793450
commit
5529a0e527
@ -156,7 +156,7 @@ class Editor extends View
|
||||
@renderer = new Renderer(@buffer)
|
||||
@undoManager = new UndoManager(@buffer)
|
||||
@renderLines()
|
||||
@gutter.renderLineNumbers(@getScreenLines())
|
||||
@gutter.renderLineNumbers()
|
||||
|
||||
@setCursorScreenPosition(row: 0, column: 0)
|
||||
|
||||
|
@ -9,10 +9,9 @@ class Gutter extends View
|
||||
@div class: 'gutter'
|
||||
|
||||
renderLineNumbers: ->
|
||||
@empty()
|
||||
|
||||
lastRow = -1
|
||||
for row in @parentView.bufferRowsForScreenRows()
|
||||
@append $$ ->
|
||||
screenRows = @parentView.bufferRowsForScreenRows()
|
||||
@html $$ ->
|
||||
for row in screenRows
|
||||
@div {class: 'line-number'}, if row == lastRow then '•' else row + 1
|
||||
lastRow = row
|
||||
lastRow = row
|
||||
|
Loading…
Reference in New Issue
Block a user