On Monday, April 3, 2017 at 3:58:09 PM UTC+2, fred.h...@gmail.com wrote: > > It is definitely a huge burden to extension developers, because in most >> cases they have to rework huge parts of their extensions. By the way, I'm >> also one of those developers, and I am also sad about that decision. But >> that discussion is out of the scope of this forum. >> >> Sebastian >> > > That discussion should have been held together with the people that built > Mozilla (the developers/designers). > > Mozilla made the effort to write a 'migration guide' (how 1998) >
For your information: The migration guide was mainly written by me, a volunteer contributor to Mozilla (currently mostly working on MDN <https://developer.mozilla.org/>) and previously to Firebug. I'd also have liked a smoother transition between both tools, though it's better than nothing. for a program that should be intuitive, but they neglected to address the > very silly and totally avoidable closing/docking button issue of the FF > devtools that makes me scared of the beast. > As I wrote in the other thread you opened <https://groups.google.com/d/msg/firebug/_m8-RFXSDjE/7bUO60TnAwAJ> that's fixed in Firefox 55. But yeah, it is a silly issue that should have been recognized and fixed earlier. Having said that, if you recognize such UX issues, you should file bug reports <https://bugzilla.mozilla.org/enter_bug.cgi> to let the DevTools team know about them. Or, if you feel up to it, you can even help them to fix the bugs <https://wiki.mozilla.org/DevTools/GetInvolved>. Sebastian -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to firebug+unsubscr...@googlegroups.com. To post to this group, send email to firebug@googlegroups.com. Visit this group at https://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/8ac97067-2825-4492-b8db-4a5912d57347%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
