// TODO: typing a number doesn't seem to work?
static <A> JSpinner jListSpinner(L<A> entries, A defaultValue) {
  ret swing(-> {
    new JSpinner s;
    s.setModel(new SpinnerListModel(entries));
    setSpinnerValue(s, defaultValue);
    ret s;
  });
}