Fix up the keyboard shortcuts in the tips
Fix up the keyboard shortcuts in the tips

issue #199

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm