mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-22 00:19:24 +03:00
💄
This commit is contained in:
parent
185ca22488
commit
6a5b66a687
@ -60,9 +60,8 @@ class EditSession
|
||||
@mergeCursors()
|
||||
|
||||
@displayBuffer.on "change.edit-session-#{@id}", (e) =>
|
||||
@refreshAnchorScreenPositions() unless e.bufferChange
|
||||
@trigger 'screen-lines-change', e
|
||||
unless e.bufferChange
|
||||
anchor.refreshScreenPosition() for anchor in @getAnchors()
|
||||
|
||||
destroy: ->
|
||||
throw new Error("Edit session already destroyed") if @destroyed
|
||||
@ -332,6 +331,9 @@ class EditSession
|
||||
removeAnchor: (anchor) ->
|
||||
_.remove(@anchors, anchor)
|
||||
|
||||
refreshAnchorScreenPositions: ->
|
||||
anchor.refreshScreenPosition() for anchor in @getAnchors()
|
||||
|
||||
removeAnchorRange: (anchorRange) ->
|
||||
_.remove(@anchorRanges, anchorRange)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user