## 2017-10-19 #Workspace line endings

Found an issue when a resource is served as with different line endings "\r\n" vs "\n" using binary search in workspace:

```javascript
var a = 200
var b = 201
that.lastText.slice(a,b) == that.currentEditor().getValue().slice(a,b)
```