7 Commits

Author	SHA1	Message	Date
Vincent Sanders	bccaa05fdb	add finalisation to options and document the API better	2013-06-01 16:09:39 +01:00
Vincent Sanders	9bd2969876	amiga is the only user of the very odd usage of the options API	2013-06-01 16:09:26 +01:00
Chris Young	3b971bb1a7	Remove bool default setter as the user will struggle to override it	2013-06-01 15:21:08 +01:00
Chris Young	0bb08cc5d2	Macros for setting default options and updating user options if they are "as default"	2013-06-01 14:57:49 +01:00
Vincent Sanders	68c2013504	add provenance to about:config	2013-05-28 21:36:46 +01:00
Vincent Sanders	a92e5930ff	fixup issues with new options API merge	2013-05-28 16:44:46 +01:00
Vincent Sanders	a2769ec68b	add new option API and implementation	2013-05-28 14:16:10 +01:00