Dylan, my point is that the right place for this tweak is not in terminal, but through System -> Preferences -> Appearance. If that would be tweakable from there there wouldn't be an issue. Agree?
Dylan, my point is that the right place for this tweak is not in terminal, but through System -> Preferences -> Appearance. If that would be tweakable from there there wouldn't be an issue. Agree?