PencilCode/pencilcode-site — pull request #52 by davidbau (2014-03-18 13:05:13+00:00)
Title: Improve gutter mouseover debug UI.

* Gutter highlight is less intrusive and more suggestive of yellow highight.
* Mouseover only works on gutter items that have been highlighted.
* Highlighting is not cleared until the "changelines" event is fired,
i.e., a small edit will not stop the highlighting: you have to add or
delete a line before we stop the highlighting.