Web IDE user preferences

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

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