Function button_down

pdflinux.js:182–187

(key_str)

}

function button_down(key_str) {
  if (typeof key_to_input_map[key_str] === "undefined") 
    app.alert("bad key: " + key_str);
  print_msg("down: " + key_str);
  key_down(key_to_input_map[key_str]);
}

function button_up(key_str) {
  print_msg("up: " + key_str);