linuxmint/Cinnamon — pull request #2390 by leigh123linux (2013-09-22 16:45:02+00:00)
Title: Use org.gnome for mono fonts

Apps like gedit and gnome-terminal ignore org.cinnamon for mono fonts.