Ako je postavljeno, terminal će koristiti standardni globalni font desktopa ako je monospace (i najsličniji font koji može naći ako nije).
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).