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 or view it on GitHub: https://github.com/geany/geany-plugins/issues/485#issuecomment-251901365
