517 |
/* exact combo found => execute function or command */ |
/* exact combo found => execute function or command */ |
518 |
gui_key_buffer[0] = '\0'; |
gui_key_buffer[0] = '\0'; |
519 |
if (ptr_key->command) |
if (ptr_key->command) |
520 |
user_command (SERVER(gui_current_window->buffer), |
user_command (gui_current_window, |
521 |
gui_current_window->buffer, |
SERVER(gui_current_window->buffer), |
522 |
ptr_key->command); |
ptr_key->command); |
523 |
else |
else |
524 |
(void)(ptr_key->function)(gui_current_window); |
(void)(ptr_key->function)(gui_current_window); |