GROK-USER-SPACE-REQUIREMENT-OPTIONS
GROK-USER-SPACE-REQUIREMENT-OPTIONS

    The options the user specifies are now just copied over to the
    user-* slots as they are. Previously for instance the maxima where
    defaulted to +fill+ which efficiently caused every pane to get a
    maximal stretchable space requirement (unless the user specified
    another maximum size). This then resulted into menu bars being
    enlarged when the user enlarges the frame which probably is not
    what you want.

    Now, when the user specifies no maxima explicitly just the panes
    intrinsic maxima are taken likewise for minima and everything
    works more smoothly again, as it once was.

swflint/McCLIM,onixie/mcclim,slyrus/mcclim,swflint/McCLIM,swflint/McCLIM,antifuchs/mcclim,onixie/mcclim,onixie/mcclim,slyrus/mcclim,antifuchs/mcclim