xmobar\'s options changed