{
  "font_name__linux" : "monospace",
  "font_size__linux" : 12,
  "ui_font_name__linux" : "sans-serif",
  "ui_font_size__linux" : 12,
  "ui_font_output_size__linux" : 12,
  "show_cur_line" : true,
  "show_mouse_sel_frame" : false,
  "saving_trim_spaces" : true,
  "saving_trim_final_empty" : true,
  "saving_force_final_eol" : true,
  "tab_spaces" : true,
  "staples_style" : 1,
  "staples_props" : "0,40,0,2",
  "minimap_show" : true,
  "minimap_sel_always" : true,
  "margin" : 80,
  "unprinted_show" : true,
  "unprinted_content" : "sx",
  "ui_sidebar_show" : false,
  "ui_toolbar_theme" : "Gnome_24x24",
  "ui_tree_theme" : "for_dark_16x16",
  "ui_theme" : "gruvbox (dark) (medium)",
  "ui_theme_syntax" : "gruvbox (dark) (medium)"
}