revert the theme in the terminal but not in window system