If true, the terminal will use the desktop-global standard font if it's monospace (and the most similar font it can come up with otherwise).
Hautatzen bada, terminalak mahaigaineko letra-tipo orokorra erabiliko du, tarte bakarrekoa bada (eta hurbileneko letra-tipoa bestela).