static JTextField dm_feedTopInputToTextField(final JTextField tf) {
  final DynModule m = dm_current_mandatory();
  dm_onTopInputChanged(voidfunc(fS s) {
    switch to m.q();
    setText(tf, s);
  });
  ret tf;
}