pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-22 08:28:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Avoid exceptions when a live editor is compared with a destroyed one

Browse Source
This commit is contained in:
Nathan Sobo 2014-01-07 18:45:18 -07:00
parent 5837b7cfda
commit 626e22e4ae
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/editor.coffee
View File

@ -174,7 +174,8 @@ class Editor extends Model
# Returns a {Boolean}.
isEqual: (other) ->
return false unless other instanceof Editor
@buffer.getPath() == other.buffer.getPath() and
@isAlive() == other.isAlive() and
@buffer.getPath() == other.buffer.getPath() and
@getScrollTop() == other.getScrollTop() and
@getScrollLeft() == other.getScrollLeft() and
@getCursorScreenPosition().isEqual(other.getCursorScreenPosition())