{
  "invisibles_visible" : false,
  "appearancex" : 0,
  "white_theme_id" : 1,
  "dark_theme_id" : 39,
  "auto_suggest_enabled" : true,
  "preview_update_delayx" : 2,
  "soft_wrap_custom_value" : 80,
  "soft_wrap" : 2,
  "gutter_visible" : true,
  "font_size" : 14
}