[Dillo-dev] keysrc and prefix keys

I wrote:

I'll submit the patch for consideration in a few days.

OK, here it is. It binds Ctrl-{Home,End} to {first,last}-tab. I find it very useful. There is one oddity - sometimes Dillo ignores the Ctrl key so that Ctrl-{Home,End} behave like {Home,End}. This bug usually disappears after I Ctrl-{Shift,}-tab to some other tab but I do not know how to consistently cause or resolve the problem. I suspect that the patch is not the real cause. Please comment. Regards, Jeremy Henty