--- pluma-1.16.0/data/org.mate.pluma.gschema.xml.in 2015-10-10 02:14:29.000000000 +0200 +++ pluma-1.16.0/data/org.mate.pluma.gschema.xml.in.new 2016-11-09 23:40:55.181123847 +0100 @@ -2,17 +2,17 @@ - true + false Use Default Font Whether to use the system's default fixed width font for editing text instead of a font specific to pluma. If this option is turned off, then the font named in the "Editor Font" option will be used instead of the system font. - 'Monospace 12' + 'DejaVu Sans Mono 12' Editor Font A custom font that will be used for the editing area. This will only take effect if the "Use Default Font" option is turned off. - 'tango' + 'cobalt' Style Scheme The ID of a GtkSourceView Style Scheme used to color the text.