jejacks0n/navigasmic — pull request #27 by gucki (2013-02-13 17:12:27+00:00)
Title: fix for #19

This fixes issue #19 and optimizes the highlighting check method.