Implementation of Tab spaces and indentation size. #844
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This addresses issue #668. Currently not finished, the GUI for the settings is finished. And both features work AFTER opening the program and altering the settings. The default settings won't work properly. Indent size works partially, that is, when tabbing the indent size will be correct, but it will be made up of a mixture of tabs and spaces, rather than one tab of the indent size.
Example 1, on startup with indent size of 10:

Example 2, after changing the settings such that indent size is 10:

For tab spaces, while writing this I discovered pull request #642, so I'm assuming that adding tab spaces is more complicated than it appears. Will indent size apply to languages too?