OpenGrok/OpenGrok — pull request #707 by vladak (2013-12-11 15:00:35+00:00)
Title: highlight line number with anchor

fixes #702