!752

import android.app.*;
import android.widget.*;
import android.view.*;
import android.view.KeyEvent;
import android.view.inputmethod.*;
import android.text.*;
  
  p {
    androidUI(r {
      
      final EditText et = new EditText(androidActivity ());
      et.setInputType(InputType.TYPE_CLASS_TEXT); // Hopefully turns off multiline
      
      et.setOnEditorActionListener(new TextView.OnEditorActionListener() {
        public boolean onEditorAction(TextView v, int actionId, KeyEvent event) {
            if ((event != null && (event.getKeyCode() == KeyEvent.KEYCODE_ENTER)) || (actionId == EditorInfo.IME_ACTION_DONE)) {
                
            }
            return false;
        }
      });
      androidShow (aNorthAndCenter (et,
        new AndroidList (ll("a", "b")).view()));
    
    });
  }

Began life as a copy of #1001080