fixes for code medic; switch to Ctrl-pg-up/dn to switch tabs in dock