forwarded -1 https://bugzilla.mozilla.org/show_bug.cgi?id=1912424
quit


Dear Carsten,


Am 09.08.24 um 08:47 schrieb Carsten Schoenert:

Am 08.08.24 um 09:33 schrieb Paul Menzel:

In the hamburger menu going to *Tools* and then clicking on *Developer
tools* nothing opens – neither does Ctrl + Shift + i.

I think it once worked. Can you reproduce this issue?

no, not really. I did never used the this tool or was in the need to use this.
So I can't say that "nothing happens" is maybe the normal behavior if no AddOn is selected or being worked on.

For me the behavior is the same, no matter if I use 115.x or 128.x.
Thank you. I created an upstream report.


Kind regards,

Paul

Reply via email to