In old versions of Ubuntu, there was "allow bold texts" option in preference settings of gnome-terminal. I used to turn it off.
But in recent versions, it seems the option is gone, and I'm stuck in only non-bold texts. How can I re-enable bold texts?
