koreader/koreader — pull request #395 by chrox (2013-12-15 05:52:33+00:00)
Title: set title bar height to height of text widget in Menu widget

without the height of the close button widget
This will make room for one more menu item entry and fix #355 and #394.
The larger tap zone for close button widget is still there.