ionide tokens highlighting

settings.json

{
    "editor.semanticTokenColorCustomizations": {
      // note: the keys of this dictionary are your installed themes. you'll have to set these for each theme you want to override.
      "[Default Dark+]": {
            "enabled": true,
            "rules": {
                "member.mutable": {
                    "foreground": "#FF0000",
                    "fontStyle": "underline",
                },
                "variable.disposable": {
                    "foreground": "#ff8b2c",
                    "fontStyle": "bold"
                }

            }
        }
    }
}