widget_terminal へ、キーボード入力を機能追加