Join MDN and developers like you at Mozilla's View Source conference, 12-14 September in Berlin, Germany. Learn more at https://viewsourceconf.org

JoachimSchipper

Member since
JoachimSchipper

Recent Docs Activity

View all activity
Page Date Comment

Setting up an extension development environment


Tell people where to find preferences before telling them which preferences to set

Setting up an extension development environment


Clarify; in particular, Developer Profile does set *all* listed options

Setting up an extension development environment


Running "real" and "dev" profiles Just Works, so simplify description

Setting up an extension development environment


Running

Setting up an extension development environment


"-P dev" opens profile selection screen the first time; say so.