Ability to change or customize font?
Is there a way to change or customize the font of Polari?
Besides, which is the default font that is being used in case one could change that? I tried changing:
gsettings set org.gnome.desktop.interface monospace-font-name "DejaVu Sans Mono"
However, that doesn't work.