Function button_up

pdflinux.js:189–192

(key_str)

}

function button_up(key_str) {
  print_msg("up: " + key_str);
  key_up(key_to_input_map[key_str]);
}

var pressed_list = [];
function button_toggle(key_str) {