UI for user-configurable options

[GoogleCodeExporter]

Currently our options are only available by directly editing about:config which 
is hardly ideal. We should try to make our options available in the Add-ons 
Manager so as to provide a safe interface for making changes.

I've held off doing anything about this because the old way would require a 
restart for install/update/disable/uninstall/etc.

According to https://developer.mozilla.org/en/Extensions/Inline_Options we'll 
be able to achieve this easily in Gecko 7. As a first step, we should add this 
and worry about backwards compatibility later.

Original issue reported on code.google.com by W.Elwoo...@gmail.com on 5 Jul 2011 at 10:21

[GoogleCodeExporter]

Original comment by W.Elwoo...@gmail.com on 31 Jul 2011 at 7:34

• Changed state: Accepted
• Added labels: Gecko-7

[GoogleCodeExporter]

Original comment by W.Elwoo...@gmail.com on 31 Jul 2011 at 7:37

• Added labels: Platform-Gecko7
• Removed labels: Gecko-7

[GoogleCodeExporter]

Support added in r125.

Original comment by W.Elwoo...@gmail.com on 25 Aug 2011 at 8:18

• Changed state: Fixed