Better shortcuts for switching between tabs.
Better shortcuts for switching between tabs.

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