Make colors of terminal maintanable via gui2ter.py