I use the vim-mark plugin, which allows me to make multiple highlights of different colours. It has some default key maps that uses the numeric keypad (
<C-k9>), which allows me to jump back and forth among occurrences of highlights.
Currently, the key maps only work in gvim, but gvim comes with its own rendering quirks, which I will not expand on. If I try to use the numeric keypad in plain vim in GNOME Terminal, vim receives keycodes of the digits above the letters on the keyboard and doesn't do the jumps among highlight occurrences.
Is there a way to make GNOME Terminal send the real numeric keypad keycodes to vim?
I really don't want to change the default key maps of the plugin because any other key maps will either be less memorable or pretty much guarantee the need for more key presses.