-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix indentation when using preferences tree
Fixes #5052 - fixes the indentation when updating/setting a preference using the `preferences-tree` widget. - the current implementation had a hardcoded value of `tabSize`=3 and `insertSpaces`=true which meant that if the `settings.json` file had different formatting, it would insert incorrectly. - added a new method `getFormattingOptions` which gets the preference options for tabSize and indentation type. - fixed typings from the `preference-service`. If a default value is provided, the preference should return that value if the preference initially returns `undefined`. Signed-off-by: vince-fugnitto <vincent.fugnitto@ericsson.com>
- Loading branch information
1 parent
928e1e0
commit 597af1b
Showing
2 changed files
with
30 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters