Plonk42/jediterm — pull request #1 by Plonk42 (2013-08-26 16:22:46+00:00)
Title: User settings implementation

The purpose of this patch is to gather all settings in a single place, easy to override.

Some settings have already been moved, but it can still being some to move.
The idea is to add future settings here.

Comments are welcome, I'm really open to suggestions before merge.
In particular, I'm not sure if we should keep SystemSettingsProvider and UserSettingsProvider slipped, or merge them in a single class SettingsProvider.