New answers tagged fonts
Ultimately gnome-terminal uses fontconfig to (among other things): ...efficiently and quickly find the fonts you need among the set of fonts you have installed, even if you have installed thousands of fonts... In the API documentation you can find functions to query fonts character ranges and for operations on character ranges, but the documentation is ...
I found it - the "Default font" combo is (mis)placed in the "Widget" tab. I really don't understand why they didn't put it in the "Font" tab.
This worked for me on Debian Jessie: sudo aptitude remove fonts-texgyre The behavior comes from the TexGyre fonts being substituted for Times and Helvetica when they appear in the pdf. I ended up installing it as one of the recommended packages of TexLive, so hopefully removing it won't break anything. This answer was paraphrased from this Ubuntu bug ...
You can use lsof to list all files by given process id and grep for fonts. lsof -p <process_id_of_xterm> | grep fonts for example, lsof -p `ps -a | grep xterm | cut -d' ' -f1` | grep fonts sample output: $ lsof -p `ps -a | grep xterm | cut -d' ' -f1` | grep fonts xterm 17560 testuser mem REG 253,1 137272 9154732 ...
Top 50 recent answers are included