Bug#1078201: thunderbird: Unable to open developer tools

2024-08-09 Thread Paul Menzel
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 +

Bug#1078201: thunderbird: Unable to open developer tools

2024-08-08 Thread Carsten Schoenert
Hello Paul, Am 08.08.24 um 09:33 schrieb Paul Menzel: Dear Debian folks, 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 th

Bug#1078201: thunderbird: Unable to open developer tools

2024-08-08 Thread Paul Menzel
Package: thunderbird Version: 1:128.1.0esr-1 Severity: normal Dear Debian folks, 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? Kind regards, Paul