t.prefs_.set('color-palette-overrides',["#eeeeee", "#af0000", "#008700", "#5f8700", "#0087af","#878787", "#005f87","#444444","#bcbcbc","#d70000","#d70087","#8700af","#d75f00", "#d75f00","#005faf","#005f87" ]);
t.prefs_.set('foreground-color',"#444444");
t.prefs_.set('background-color',"#eeeeee");
t.prefs_.set('cursor-color','rgba(32,187,252,0.5)');