Skip to content

Settings tweaks#57165

Merged
roblourens merged 13 commits intomicrosoft:masterfrom
JacksonKearl:settings-tweaks
Aug 25, 2018
Merged

Settings tweaks#57165
roblourens merged 13 commits intomicrosoft:masterfrom
JacksonKearl:settings-tweaks

Conversation

@JacksonKearl
Copy link
Contributor

@JacksonKearl JacksonKearl commented Aug 24, 2018

Addressing some of the "More Issues" in #55791.

So far:

Closes #56928
Closes #57033
Closes #57167
Closes #57172

@JacksonKearl JacksonKearl self-assigned this Aug 24, 2018
@JacksonKearl JacksonKearl added the settings-editor VS Code settings editor issues label Aug 24, 2018
@JacksonKearl JacksonKearl added this to the August 2018 milestone Aug 24, 2018
Jackson Kearl added 4 commits August 24, 2018 14:50
unable to edit a when setting
in some cases unable to edit a defualt setting to/from a nondefault one
and probbaly some others.
@JacksonKearl
Copy link
Contributor Author

JacksonKearl commented Aug 24, 2018

This implements persisting the order of the rows of exclude controls while editing by sorting the keys. Potential downside to this is that it writes out the sorted value to the settings, which will show up in version control. This could be confusing, but if they're editing the excludes anyways it probably isn't that bad.

@JacksonKearl
Copy link
Contributor Author

Of the remaining two, I don't think I'll be able to paginate the list in the remaining <1 hour I'm here, and playing with the editor a bit I don't actually think a special "go to next control" tab is very critical, as we don't have that many links.

@roblourens roblourens merged commit 8cc5c65 into microsoft:master Aug 25, 2018
@github-actions github-actions bot locked and limited conversation to collaborators Mar 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

settings-editor VS Code settings editor issues

Projects

None yet

2 participants