Modified keyboard_input_manager.js