Web IDE user preferences
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