Le 10/11/2019 à 19:45, Gilles Caulier a écrit : > Use right keyboard short-cut : > > DEL => to the trash. > SHIFT+DEL => complete deletion. > good to know :-) could it be possible to have the same behavior than in Dolphin, that is shift gives also deletion in the right menu? thanks jdd -- http://dodin.org