Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Add a preferences API so apps can share basic behaviours #10109
@Gargron Sorry, it's not clear to me from the diff - does this also allow apps to write these preferences?
A minor comment on the output format - if the keys are meant to be hierarchical, why not represent them that way in the json?