[Bug]: code-server ignores "workbench.tips.enabled" setting

[pavelxdd]

Is there an existing issue for this?

• I have searched the existing issues

OS/Web Information

• Web Browser: Chromium
• Local OS: Arch Linux
• Remote OS: Debian sid
• Remote Architecture: amd64
• code-server --version: 4.9.0 0502dfa with Code 1.73.1

Steps to Reproduce

1. Open settings and set "workbench.tips.enabled": false
2. Close all opened editors

Expected

When "workbench.tips.enabled": false is set, there shouldn't be any shortcut tips displayed on the screen.

Actual

Code-server ignores this setting and still displays these messages:

Logs

No response

Screenshot/Video

No response

Does this issue happen in VS Code or GitHub Codespaces?

• I cannot reproduce this in VS Code.
• I cannot reproduce this in GitHub Codespaces.

Are you accessing code-server over HTTPS?

• I am using HTTPS.

Notes

No response

[jsjoeio]

Interesting...I have mine enabled but I don't see the tips 🤔

We'll have to dig more into this.

[code-asher]

Verified to be working in the latest version.