cweb #10129919 ui: option page [open]

Create an option page as described at https://developer.mozilla.org/fr/docs/Mozilla/Add-ons/WebExtensions/user_interface/Options_pages

Move to this option page all the parts of the UI that are not directly related to selecting a view for the current tab.

priorityimportant
typeenhancement
done in0.20181102.0
closed by<not specified>