Bug fix #227 + enable user to set height of Keywords pane