Skip to content

Instantly share code, notes, and snippets.

@matthewcrews
Last active November 20, 2023 01:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save matthewcrews/4344e4886bc766bae9b9e28bba45ca5a to your computer and use it in GitHub Desktop.
Save matthewcrews/4344e4886bc766bae9b9e28bba45ca5a to your computer and use it in GitHub Desktop.
{
"[odin]": {
"editor.tabSize": 4,
"editor.insertSpaces": false,
"editor.detectIndentation": false
},
"files.autoSave": "afterDelay",
"FSharp.addFsiWatcher": true,
"FSharp.fsiExtraParameters": [
"--optimize+",
"--warn:5"
// "--warnaserror:52"
],
"FSharp.inlayHints.enabled": false,
"FSharp.inlayHints.typeAnnotations": false,
"FSharp.inlayHints.parameterNames": false,
"editor.renderWhitespace": "all",
"workbench.colorTheme": "GDScript",
"editor.tokenColorCustomizations": {
"[GDScript]": {
"textMateRules": [
{
"scope": "keyword.control",
"settings": {
"foreground": "#C792EA"
}
},
{
"scope": ["string.quoted.double.fsharp"],
"settings": {
"foreground": "#fdf585"
}
},
{
"scope": ["constant.numeric.float.fsharp", "constant.numeric.integer.nativeint.fsharp"],
"settings": {
"foreground": "#fcba79"
}
}
]
}
},
"editor.semanticTokenColorCustomizations": {
"[GDScript]": {
"enabled": true,
"rules":{
"type": "#42FFC2",
"variable": "#ffffffd7",
"enumMember": "#42FFC2",
"member.mutable": "#FF5E8C",
"namespace": "#42FFC2",
"typeParameter": "#42FFC2",
"function": "#66E5FF",
"struct": "#42FFC2",
"property": "#ABC8FF",
}
}
},
"git.enableSmartCommit": true,
"git.confirmSync": false,
"git.autofetch": true,
"FSharp.excludeProjectDirectories": [
"bin",
".git",
"paket-files",
".fable",
"packages",
"node_modules"
],
"FSharp.codeLenses.references.enabled": false
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment