I looked a bit at the vte sources but it seems it's not really a trick, but in stead the fact that that is a full gtk widget with it's own key handler. I guess that the plugin API filters out the shortcut keys sent to the plugins?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.