User settings

This is a pull request for issues #455 and #456.

Hm, I intended so, this one is a mistake.