Ah , vte_terminal_set_color_foreground: ``` -bash-4.4#echo; echo; grep -R pref_vte_colour_fore *
scope/src/conterm.c: (vte, &pref_vte_colour_fore); scope/src/conterm.c: gdk_color_parse(tmp_string, &pref_vte_colour_fore); scope/src/conterm.c: gtk_widget_modify_cursor(console, &pref_vte_colour_fore, &pref_vte_colour_back);
``` however, this is what I have already tried to change from the interface and it does not seem to change the text colour. As I said the bg colour is modifiable. Is the text colour something else or is there a bug here?