Nice UI updates, thanks. I think you need to add a way of changing the theme from the UI too, instead of just via a keyboard shortcut.. as many people won't know the shortcut or will forget over time.