Texts that uses monospace font are not being concealed if you select this option. This happens because changing org.gnome.desktop.interface.monospace-font-name requres restart of an application. But changing org.gnome.desktop.interface-font-name applies the setting immediately to the UI.
Texts that uses monospace font are not being concealed if you select this option. This happens because changing org.gnome. desktop. interface. monospace- font-name requres restart of an application. But changing org.gnome. desktop. interface- font-name applies the setting immediately to the UI.