Le 25/11/2020 à 17:11, Benoît Minisini a écrit : > At the moment I have tried the GTK+3 IDE on my Ubuntu 20.04 and on a > Fedora 33. The right click opens the popup menu of the different > editors. I didn't have check searching twice yet. > --> I haven't checked... -- Benoît Minisini