{
  "ui_theme": "cobalt",
  "ui_theme_syntax": "cobalt",
  "font_name__linux": "Ubuntu Sans Mono",
  "font_size__linux": 10,
  "ui_session_save_interval": 20,
  "mouse_middle_click": 2,
  "ui_tab_angled": false,
  "ui_tab_disabled": false,
  "ui_tab_fullcolor": false,
  "ui_tab_multiline": false,
  "ui_tab_numbers": false,
  "ui_tab_show_x": 2,
  "ui_tab_size_x_min": 80,
}