!7

p {
  onGlobalKeyPress(voidfunc(NativeKeyEvent e) {
    print("Key press: " + e.getKeyCode();
    if (e.getKeyCode() == 63 /* F5 */) {
      final JTextField tf = jtextfield();
      showFormTitled("Yup!", "Whaddayawant", tf, r {
        handle(getText(tf))
      });
    }
  });
}

svoid handle(S s) {
  infoBox(s);
}