User settings

To store the user related settings in the extension.

Table of Contents