Why
The settings menu is cluttered with settings from development, they should be finished or removed if their purpose is scarse or doesn't work as intended
What
Force AddModule: Should be finished, this is a feature in the pipline, but should be removed until it is finished
Indent Number: The extension uses what VSCodes indentation is, therefore this is redundant
Max Number of Problems: This doesn't work and is automatically capped at 1000 problems, should be removed
Trace Server: Has no use currently, from lsp_template
Why
The settings menu is cluttered with settings from development, they should be finished or removed if their purpose is scarse or doesn't work as intended
What
Force AddModule:Should be finished, this is a feature in the pipline, but should be removed until it is finishedIndent Number:The extension uses what VSCodes indentation is, therefore this is redundantMax Number of Problems:This doesn't work and is automatically capped at 1000 problems, should be removedTrace Server:Has no use currently, from lsp_template