version 1.11, 2009/10/26 14:30:57 |
version 1.12, 2009/10/26 17:46:33 |
|
|
return; |
return; |
} |
} |
|
|
|
/* |
|
* Then try to look this up as an xterm key, if the flag to output them |
|
* is set. |
|
*/ |
|
if (options_get_number(&wp->window->options, "xterm-keys")) { |
|
if ((out = xterm_keys_lookup(key)) != NULL) { |
|
buffer_write(wp->out, out, strlen(out)); |
|
xfree(out); |
|
return; |
|
} |
|
} |
|
|
/* Otherwise look the key up in the table. */ |
/* Otherwise look the key up in the table. */ |
for (i = 0; i < nitems(input_keys); i++) { |
for (i = 0; i < nitems(input_keys); i++) { |
ike = &input_keys[i]; |
ike = &input_keys[i]; |