This repository has been archived by the owner on Nov 12, 2022. It is now read-only.
How do I change the default options for a particular server? #546
-
Beta Was this translation helpful? Give feedback.
Answered by
williamboman
Mar 15, 2022
Replies: 1 comment
-
Hello! So that particular part of the UI is a read-only view of the server's configuration schema, and so it's entirely static. For changing the configurations of a server, there's an example snippet here in the Wiki edit: This was recently clarified in the UI as well. As for better Solargraph/Ruby interop, see #187 |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
williamboman
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hello! So that particular part of the UI is a read-only view of the server's configuration schema, and so it's entirely static. For changing the configurations of a server, there's an example snippet here in the Wiki
edit: This was recently clarified in the UI as well. As for better Solargraph/Ruby interop, see #187