set gnome-terminal as default terminal
use name for workspaces and change some color