Update editor settings (minimap and settings for R/C code) #288
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This fixes #285 to only show the minimap on mouseover and also refines the editor settings, according to r-devel/r-dev-day#105 (comment), copied here to include the comments
{ // Editor settings for C files // Cannot set to auto replace 8 spaces with tab (https://github.com/Microsoft/vscode/issues/ #42740, #5394) "[c]": { // An indent is 4 spaces "editor.indentSize": 4, // But display 8 spaces as a single tab "editor.tabSize": 8, // Need this to get indent size 4, else uses tabs to indent "editor.insertSpaces": true, // If set true, detects settings from the code in the file "editor.detectIndentation": false, }, // Editor settings for R files "[r]": { "editor.indentSize": 4, "editor.tabSize": 8, "editor.insertSpaces": true, "editor.detectIndentation": false }, // There isn't a formatter that works great with R itself "editor.formatOnSave": false, // Shows the difference between 4 spaces and 8 spaces (tab) visually "editor.renderWhitespace": "all", // Show whitespace changes in the diff editor to help us get it right "diffEditor.ignoreTrimWhitespace": false, // Trim trailing whitespace after a line, or on a blank line. // You may need to turn this off in some files where historically // trailing whitespace has not been trimmed, but otherwise it is // good practice to trim it. "files.trimTrailingWhitespace": true, // Turn off {languageserver} linting for R files "r.lsp.diagnostics": false }