Function button_toggle

pdflinux.js:195–207

(key_str)

var pressed_list = [];
function button_toggle(key_str) {
  if (typeof key_to_input_map[key_str] === "undefined") 
    app.alert("bad key: " + key_str);
  if (key_status_map[key_to_input_map[key_str]]) {
    pressed_list.splice(pressed_list.indexOf(key_str), 1);
    button_up(key_str);
  }
  else {
    pressed_list.push(key_str);
    button_down(key_str);
  }
  globalThis.getField("key_status").value = "Pressed: " + pressed_list.join(", ");
}

function key_pressed(key_str) {
  let key_lower = key_str.toLowerCase();