"font_comment":"Use \"\" to use source.font with slightly smaller size",
"font_comment":"Use \"\" to use source.font with slightly smaller size",
"font":""
"font":"",
"show_progress":true
},
},
"source":{
"source":{
"style_comment":"Use \"\" for default style, and for instance juci-dark or juci-dark-blue together with dark gtk_theme variant. Styles from normal gtksourceview install: classic, cobalt, kate, oblivion, solarized-dark, solarized-light, tango",
"style_comment":"Use \"\" for default style, and for instance juci-dark or juci-dark-blue together with dark gtk_theme variant. Styles from normal gtksourceview install: classic, cobalt, kate, oblivion, solarized-dark, solarized-light, tango",