jgallen23/toc — pull request #32 by edewit (2014-03-09 20:02:34+00:00)
Title: 3 small fixes

3 small fixes to your nice plugin:

* Changed the logic for high lightning to high light the closed header
* Disabled the highlighting when scrolling because of mouse click, making sure the user clicked header will stay selected regardless of the high lighting logic
* Little error syntax error in the default properties

Thanks, for your nice plugin