I have a guess about what the mentioned customization problems might be. I noticed today that when the fixed width font is changed in the Gnome settings the terminal font for synaptics is still monospace. Is that what you meant, dmoyne?
I have a guess about what the mentioned customization problems might be. I noticed today that when the fixed width font is changed in the Gnome settings the terminal font for synaptics is still monospace. Is that what you meant, dmoyne?