mrkite/TerraFirma — pull request #6 by schleumer (2013-10-09 08:47:04+00:00)
Title: Added Quick Highlight menu

Hey, it's me again :smiley: i did some tricks for usability adding a quick highlight menu on top right of screen and when i get time again i'll make some "jump to highlight"