docs: function (jax) {
        var SRE = jax.root.SRE, actions = SRE.action, j, state = {};
        SRE.width = jax.sreGetRootWidth(state);
        for (j = actions.length-1; j >= 0; j--) actions[j].selection = 2;
        for (j = actions.length-1; j >= 0; j--) {
          var action = actions[j];
          if (action.SREwidth == null) {
            action.selection = 1;
            action.SREwidth = jax.sreGetActionWidth(state,action);
          }
        }
        SRE.actionWidths = true;
      }