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).
Logged In: YES
user_id=294680
Originator: YES
This also fixes bug 1668067.