I believe this is related to KDE, maybe it's hotkeys manager does something weird. Did you try to reproduce on the same box where already did but with another window manager (say lxde for simplicity)
-- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVyic6vcekR47%3DCkamXbn9KNNRhT-xJK1rk80GwiduB0%3DA%40mail.gmail.com.
