blob: c8f5034e772bac074393411aa208e83e80800cee (
plain) (
tree)
|
|
{
"editor.fontFamily": "IBM Plex Mono",
"editor.fontSize": 15,
"editor.wordWrap": "on",
"window.titleBarStyle": "custom",
"files.insertFinalNewline": true,
"terminal.external.linuxExec": "gnome-terminal",
"searchRipgrep.enable": true
}
|