close 816472 thanks
sorry for the noise, I found out that all my machines had their keyboards wrongly configured. I changed it and the menu no longer appears again, sorry for the noise and thanks for roxterm and its debian packaging :) -- 1AE0 322E B8F7 4717 BDEA BF1D 44BB 1BA7 9F6C 6333 keybase: http://keybase.io/gfa
