Compare commits

..

No commits in common. "3cbcd1c6ab8be7cca5739de84e2e0bde233d2013" and "966ebcc834f618b5eca7ac44bcd81ce508125a25" have entirely different histories.

2 changed files with 5 additions and 13 deletions

View file

@ -56,7 +56,6 @@
"wrap_guides": [80], "wrap_guides": [80],
"use_smartcase_search": true, "use_smartcase_search": true,
"terminal": { "terminal": {
"dock": "right",
"toolbar": { "toolbar": {
"breadcrumbs": false "breadcrumbs": false
} }
@ -79,9 +78,6 @@
"dock": "right" "dock": "right"
}, },
"languages": { "languages": {
"C++": {
"format_on_save": "on"
},
"JavaScript": { "JavaScript": {
"tab_size": 4, "tab_size": 4,
"formatter": { "formatter": {
@ -123,10 +119,6 @@
"Make": { "Make": {
"hard_tabs": true, "hard_tabs": true,
"tab_size": 8 "tab_size": 8
},
"SQL": {
"format_on_save": "off",
"show_edit_predictions": false
} }
}, },
"auto_install_extensions": { "auto_install_extensions": {

View file

@ -43,11 +43,11 @@
"scrollbar.track.border": "#ff00ff00", "scrollbar.track.border": "#ff00ff00",
"scrollbar.thumb.border": "#ff00ff00", "scrollbar.thumb.border": "#ff00ff00",
"search.match_background": "#ad962288", "search.match_background": "#20a9ae",
"created": "#20a951ff", "created": "#20a951ff",
"deleted": "#ad1c22ff", "deleted": "#ad1c22ff",
"modified": "#2059afff", "modified": "#2059afff",
"hint": "#736E76", "hint": "#20a951ff",
"editor.foreground": "#e7e3e9ff", "editor.foreground": "#e7e3e9ff",
"editor.background": "#201c22ff", "editor.background": "#201c22ff",
@ -117,7 +117,7 @@
"name": "mpwb light", "name": "mpwb light",
"appearance": "light", "appearance": "light",
"style": { "style": {
"border": "#DBDCDC", "border": "#f2f3f2",
"border.variant": "#e0e0e0", "border.variant": "#e0e0e0",
"border.focused": "#e0e0e0", "border.focused": "#e0e0e0",
"border.disabled": "#e0e0e0", "border.disabled": "#e0e0e0",
@ -151,11 +151,11 @@
"panel.background": "#dedfde", "panel.background": "#dedfde",
"search.match_background": "#e2cb2280", "search.match_background": "#20a9ae",
"created": "#20a951ff", "created": "#20a951ff",
"deleted": "#ad1c22ff", "deleted": "#ad1c22ff",
"modified": "#2059afff", "modified": "#2059afff",
"hint": "#98939B", "hint": "#20a951ff",
"editor.background": "#e7e3e9ff", "editor.background": "#e7e3e9ff",
"editor.foreground": "#201c22ff", "editor.foreground": "#201c22ff",