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 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.
--
Regards
Carsten
