Je ne connais pas le sens de minWidth="-infinity"

Salut à tous
une petite question :
que veut dire <AnchorPane minWidth="-Infinity" ?

merci

Bonjour,

d'après ma propre expérience et si je ne me trompe pas, il s'agit de laisser la gestion automatique au layout, ce qui signifie que la taille minimale de ton layout ne sera pas limité en revanche si une valeur est indiquée donc ton layout ne peux être minimisé en dessous de cette valeur. Tu peux en faire l'expérience avec un SplitPane dans ton SceneBuilder pour mieux comprendre en ajoutant deux Pane et en jouant avec la valeur minWidth.

Ca fait partie des constantes qu'il faut connaitre (surtout si on veut taper du FXML à la main) :

Citation:

---

Envoyé par https://docs.oracle.com/javase/8/javafx/api/javafx/scene/layout/Region.html#USE_PREF_SIZE

USE_PREF_SIZE
public static final double USE_PREF_SIZE
Sentinel value which can be passed to a region's setMinWidth, setMinHeight, setMaxWidth or setMaxHeight methods to indicate that the preferred dimension should be used for that max and/or min constraint.

See Also:
Constant Field Values

USE_COMPUTED_SIZE
public static final double USE_COMPUTED_SIZE
Sentinel value which can be passed to a region's setMinWidth, setMinHeight, setPrefWidth, setPrefHeight, setMaxWidth, setMaxHeight methods to reset the region's size constraint back to it's intrinsic size returned by computeMinWidth, computeMinHeight, computePrefWidth, computePrefHeight, computeMaxWidth, or computeMaxHeight.

See Also:
Constant Field Values

---

Citation:

---

Envoyé par https://docs.oracle.com/javase/8/javafx/api/constant-values.html#javafx.scene.layout.Region.USE_PREF_SIZE

public static final double USE_COMPUTED_SIZE -1.0
public static final double USE_PREF_SIZE -1d/0d

---

Donc -∞ veut dire que le gestionnaire de mise en page devrait utiliser la taille préférée en tant que taille min et max pour les calculs de positionnement du composant. Ça peut empêcher des redimensionnements inopportuns SI le gestionnaire de mise en page respecte ces règles. Grosso modo qqun qui voudrait implémenter un gestionnaire de mise en page devrait faire un truc du genre :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

double childPrefWidth = child.getPrefWidth(); childPrefWidth = (childPrefWidth == Region.USE_COMPUTED_SIZE) ? child.computePrefWidth() : childPrefWidth; childPrefWidth = Math.max(0, childPrefWidth); double childMinWidth = child.getMinWidth(); childMinWidth = (childMinWidth == Region.USE_COMPUTED_SIZE) ? child.computeMinWidth() : childMinWidth; childMinWidth = (childMinWidth == Region.USE_PREF_SIZE) ? childPrefWidth : childMinWidth; childMinWidth = Math.max(0, childMinWidth); double childMaxWidth = child.getMaxWidth(); childMaxWidth = (childMaxWidth == Region.USE_COMPUTED_SIZE) ? child.computeMaxWidth() : childMaxWidth; childMaxWidth = (childMaxWidth == Region.USE_PREF_SIZE) ? childPrefWidth : childMaxWidth; childMaxWidth = Math.max(0, childMaxWidth); [...]

---

Merci pour vos réponses