Jose Romildo Malaquias wrote:
Hello.
How can I change the default monospace font system-wide? I want it to be Bitstream Vera Sans Mono.
uhhh
Preferences -> Font -> Terminal Font (change to Bitstream Vera Sans Mono)
must admit that option was really deeply hidden in the menus (not!) ;)
(gnome-terminal font needs to be configured separately)