tweaks to color coding (controlling active terminal)