Skip to content

Instantly share code, notes, and snippets.

@erajuan
Created January 26, 2016 17:05
Show Gist options
  • Save erajuan/ea0816cbfc6a65187529 to your computer and use it in GitHub Desktop.
Save erajuan/ea0816cbfc6a65187529 to your computer and use it in GitHub Desktop.
{
"color_scheme": "Packages/Color Scheme - Default/Monokai.tmTheme",
"fade_fold_buttons": false,
"font_size": 11,
"gutter": true,
"highlight_line": true,
"highlight_modified_tabs": true,
"ignored_packages":
[
],
"tab_size": 4,
"translate_tabs_to_spaces": true,
"trim_trailing_white_space_on_save": true,
"use_simple_full_screen": true,
"vintage_start_in_command_mode": true
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment