2 Commits

Author SHA1 Message Date
Jon Atkins
4f5f47831a remove pointless change of selected portal highlight colour in all highlighter plugins - make it the default instead
also tweaks to the show-more-portals plugin
2013-08-23 04:27:16 +01:00
vita10gy
107621b03a Portal Highlighter - Infrastructure
Issue #435
2013-07-27 17:40:40 -05:00