Help

#4 Main window key-handling cleanup

This patch cleans up the main window's key-handling code somewhat. It also disables Ctrl-PageUp and Ctrl-PageDown, since they work anyway, and adds keyboard re-ordering of tabs (which doesn't seem to work otherwise despite GTK+ 2.10; maybe GTKMM 2.10 is needed).