Jon Atkins 7fc13f0c9e portal highlighter system ...

- add an alternative API that includes a setSelected callback, so highlighters know when they're turned on/off
- fix bug where highlighters were selected multiple times
- a few other cleanups

2013-11-14 07:39:33 +00:00

3.4 KiB

Raw Blame History

View Raw