Other changes in hotkeys and colors