Web IDE user preferences
<!--IssueSummary start--> <details> <summary> Everyone can contribute. [Help move this issue forward](https://handbook.gitlab.com/handbook/marketing/developer-relations/contributor-success/community-contributors-workflows/#contributor-links) while earning points, leveling up and collecting rewards. </summary> - [Close this issue](https://contributors.gitlab.com/manage-issue?action=close&projectId=278964&issueIid=21523) </details> <!--IssueSummary end--> How people configure their editors is very personal and people want it to be consistent as much as possible. We should provide a method for saving global preferences. ### Proposal Add an interface for a user to save their editor preferences that will be shared across all projects. We should support allowing users to configure: - diff style (side by side, or inline/combined) - syntax colors - keyboard shortcuts
issue