3 Commits

Author	SHA1	Message	Date
Girish Sharma	ad35e5abfc	Bug 862398 - Maintain the order of tools in the tab and the options panel list, r=past	2013-04-30 22:28:04 +05:30
Girish Sharma	a068003a82	Bug 862363 - Sync the killswitch upon (un)registering of a tool and respect it in Options Panel, r=jwalker	2013-04-19 19:14:38 +05:30
Girish Sharma	57e4976d0f	Bug 851546 - Options panel for DevTools Toolbox, r=jwalker,vporof,past	2013-04-15 18:04:48 +05:30