toolness/friendlycode — pull request #57 by Pomax (2012-06-05 14:08:21+00:00)
Title: fixed the gutter text marker persisting when hints are hidden

fairly simple fix.