Hola a todos, tengo un problema por el cual les solicito ayuda. He instalado el Seti UI. abrió el archivo y copié lo siguiente: {
“theme”: “Seti.sublime-theme”,
"caret_extra_width": 2, // to have a wider/thicker caret
"caret_extra_bottom": 3, // to make the caret = to the line height (the theme currently support 0,3,5)
"caret_extra_top": 3,
"overlay_scroll_bars": "enabled", // to show scrollbars only when scrolling
"highlight_line": true, // to highlight the current line
}
para pegarlo en setting user pero me encuentro con que en preferencias las únicas opciones que figuran son: Settings, Settings Syntax Specific y Settings Distraction Free pero la opción SETTING USER no figura y no se como seguir para continuar.
Les agradecería su ayuda, Stella Maris