OpenGrok/OpenGrok — pull request #646 by tarzanek (2013-07-04 12:14:27+00:00)
Title: rename type field + ui fixes

fixes #634 and fixes #630