waterbearlang/waterbear — pull request #759 by dethe (2014-04-25 05:07:40+00:00)
Title: fix #730 and fix #724 by bringing in @usetheimpe's changes

This brings in code map navigation and hide/show the code map from menu.