static EditText aMakeSingleLine(final EditText tv) {  
  androidUI(r {
    tv.setInputType(InputType.TYPE_CLASS_TEXT);
  });
  ret tv;
}