svoid aSelectAll(final EditText view) {
  if (view != null) androidUI { view.selectAll(); }
}