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?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.