zz85/mrdoobapproves — pull request #18 by zz85 (2015-01-01 01:22:36+00:00)
Title: Improved goto error

- tweak hyperlink css
- goto error now focus on the code editor
- scrolls to position error on height's center when out of view
- see #16