"font_comment":"Use \"\" to use source.font with slightly smaller size",
"font":"",
"show_progress":true
"show_progress":false
},
"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",