Clean up mikiwindow.py, bring back keyboard shortcuts for tab
switching.