Remove old inlay hints settings

This commit is contained in:
Laurențiu Nicola 2022-04-16 08:04:52 +03:00
parent 7ce3ca5aab
commit f77adb3a23
3 changed files with 8 additions and 21 deletions

View file

@ -722,7 +722,7 @@ Just add this to your `settings.json`:
{
"editor.inlayHints.fontFamily": "Courier New",
"editor.inlayHints.fontSize": 11,
"workbench.colorCustomizations": {
// Name of the theme you are currently using
"[Default Dark+]": {
@ -797,8 +797,8 @@ For example:
[source,json]
----
{
"key": "ctrl+i",
"command": "rust-analyzer.toggleInlayHints",
"key": "ctrl+alt+d",
"command": "rust-analyzer.openDocs",
"when": "inRustProject"
}
----

View file

@ -298,12 +298,12 @@ export function serverVersion(ctx: Ctx): Cmd {
};
}
export function toggleInlayHints(ctx: Ctx): Cmd {
export function toggleInlayHints(_ctx: Ctx): Cmd {
return async () => {
await vscode
.workspace
.getConfiguration(`${ctx.config.rootSection}.inlayHints`)
.update('enable', !ctx.config.inlayHints.enable, vscode.ConfigurationTarget.Global);
const scope = vscode.ConfigurationTarget.Global;
const config = vscode.workspace.getConfiguration("editor.inlayHints");
const value = !config.get("enabled");
await config.update('enabled', value, scope);
};
}

View file

@ -97,19 +97,6 @@ export class Config {
get serverExtraEnv() { return this.get<Env | null>("server.extraEnv") ?? {}; }
get traceExtension() { return this.get<boolean>("trace.extension"); }
get inlayHints() {
return {
enable: this.get<boolean>("inlayHints.enable"),
typeHints: this.get<boolean>("inlayHints.typeHints"),
parameterHints: this.get<boolean>("inlayHints.parameterHints"),
chainingHints: this.get<boolean>("inlayHints.chainingHints"),
closureReturnTypeHints: this.get<boolean>("inlayHints.closureReturnTypeHints"),
hideNamedConstructorHints: this.get<boolean>("inlayHints.hideNamedConstructorHints"),
smallerHints: this.get<boolean>("inlayHints.smallerHints"),
maxLength: this.get<null | number>("inlayHints.maxLength"),
};
}
get cargoRunner() {
return this.get<string | undefined>("cargoRunner");
}