Configurations

All editors share the same server-side configurations. Besides, the VS Code extension has some additional configurations.

Please check the following chapters: