j
k
j a
j l
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?
Attachments:
Back to the thread
Back to the list