-
Notifications
You must be signed in to change notification settings - Fork 37.6k
Open
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalitymulti-diff-editorMulti diff editor issuesMulti diff editor issues
Milestone
Description
Testing #199155
- configure
"editor.padding.bottom": 10,
"editor.padding.top": 10,
- the padding is respected in the multi diff editors
- this is debateable, but I don't expect this setting to be automatically honored in the multi-diff editor. The reason I configured this padding is for the large editors to leave some gaps above and below the regular editors.
- otherwise, it would be nice to let me configure things in such a way that there is no padding

Metadata
Metadata
Assignees
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalitymulti-diff-editorMulti diff editor issuesMulti diff editor issues