* @brief Handle a keypress event. * * @param k The key that was pressed. */
| 78 | * @param k The key that was pressed. |
| 79 | */ |
| 80 | void Keypressed(std::pair<KeyType, char> k) |
| 81 | { |
| 82 | const std::pair<Symbol,std::string> s = terminal.Keypressed(k); |
| 83 | NewCommand(s); |
| 84 | } |
| 85 | |
| 86 | /** |
| 87 | * @brief Process a new command. |