Fixed a bug that caused the wrong option to be applied when using number key shortcuts to change taskbar colors
