You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the near future (between 1 and 50 years) the intersect interface will change, perhaps to the end of the 50 million json files in the gui. I thought there might be the same for the server. In "file" could have an option type, preferences, server config or etc, where we could change the colors and config checks there, by the editor.
Intended Use-Case
Configure server options, from the editor, without needing to restart the server for every modified line in the json (if possible)
Duplicate Check
This feature request is not a duplicate to the best of my knowledge.
The text was updated successfully, but these errors were encountered:
Description
In the near future (between 1 and 50 years) the intersect interface will change, perhaps to the end of the 50 million json files in the gui. I thought there might be the same for the server. In "file" could have an option type, preferences, server config or etc, where we could change the colors and config checks there, by the editor.
Intended Use-Case
Configure server options, from the editor, without needing to restart the server for every modified line in the json (if possible)
Duplicate Check
The text was updated successfully, but these errors were encountered: