!7

import android.widget.*;
import android.widget.GridLayout;
import android.view.*;
import android.view.ViewGroup.LayoutParams;

p {
  androidUI(r {
    GridLayout gv = new GridLayout(androidActivity());
    for (S s : splitAtSpace("Yes No Stop"))
      gv.addView(aButton(s));
    
    LinearLayout ll = new LinearLayout(androidActivity());
    ll.setOrientation(ll.HORIZONTAL);
    ll.addView(gv);
    //gv.getLayoutParams().gravity = Gravity.CENTER;
    /*LinearLayout.LayoutParams params = new LinearLayout.LayoutParams(LayoutParams.WRAP_CONTENT, LayoutParams.FILL_PARENT);
    //params.weight = 1.0f;
    params.gravity = Gravity.CENTER;
    gv.setLayoutParams(params);*/
    ((LinearLayout.LayoutParams) gv.getLayoutParams()).setGravity(Gravity.CENTER);
    androidShow(ll);
  });
}