OpenGrok/OpenGrok — pull request #793 by sk- (2014-03-10 21:44:09+00:00)
Title: Added line highlighting. Fixes #434. It also get rids of the line number...

... highlighting introcude in #702.