You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Quand on veut créer une nouvel élément, on ne peut pas préciser un float.
Or, cela pourrait être pris en charge par l'OS en convertissant juste le float en un int.
Exemple :
gui:label(win, 0.0, 0.0, 10.0, 10.0)
Cause une erreur.
The text was updated successfully, but these errors were encountered:
Est ce que c'est souhaitable? parce que de toute manière c'est des pixels, ça voudrait dire arrondir? mais donc ça sert a rien?
Je pense que c'est mieux qu'on arrondisse après et non pas qu'on demande un int, car par exemple, si on veut centrer un label, il faudrait faire quelque chose du genre : gui.label(win, SCREEN_WIDTH * 0.5, ...), sauf que multiplier par 0.5, même si le résultat est entier, ça reste une valeur flottante.
C'est vrai pas faux, c'est juste un overload de plus de toute façon non ? Mais après on peut aussi faire SCREEN_WIDTH // 2 et ça round direct en bas avec un int comme résultat.
Oui mais un overload en la c'est... Lourd, facile mais je sais pas si ça
vaut le'e coup
Le dim. 19 mai 2024, 14:27, Antoine Bollengier ***@***.***> a
écrit :
Quand on veut créer une nouvel élément, on ne peut pas préciser un float.
Or, cela pourrait être pris en charge par l'OS en convertissant juste le float en un int.
Exemple :
Cause une erreur.
The text was updated successfully, but these errors were encountered: