|
|
|
|
@ -134,6 +134,7 @@ void Config::read(const JSON &cfg) {
|
|
|
|
|
source.smart_brackets = true; |
|
|
|
|
source.show_map = source_json.boolean("show_map", JSON::ParseOptions::accept_string); |
|
|
|
|
source.map_font_size = source_json.integer("map_font_size", JSON::ParseOptions::accept_string); |
|
|
|
|
source.space_between_lines = source_json.integer("space_between_lines", JSON::ParseOptions::accept_string); |
|
|
|
|
source.show_git_diff = source_json.boolean("show_git_diff", JSON::ParseOptions::accept_string); |
|
|
|
|
source.show_background_pattern = source_json.boolean("show_background_pattern", JSON::ParseOptions::accept_string); |
|
|
|
|
source.show_right_margin = source_json.boolean("show_right_margin", JSON::ParseOptions::accept_string); |
|
|
|
|
@ -279,6 +280,7 @@ std::string Config::default_config() {
|
|
|
|
|
"smart_inserts": true, |
|
|
|
|
"show_map": true, |
|
|
|
|
"map_font_size": 1, |
|
|
|
|
"space_between_lines": 1, |
|
|
|
|
"show_git_diff": true, |
|
|
|
|
"show_background_pattern": true, |
|
|
|
|
"show_right_margin": false, |
|
|
|
|
|