next up previous contents
suivant: Les barres de progression monter: Les widgets précédent: Les barres de défilements   Table des matières


Le widget échelle (scale)

Les widgets échelles sont utilisés pour permettre de sélectionner visuellement et de manipuler une valeur dans un intervalle spécifique. Vous pouvez vouloir utiliser, par exemple, un widget échelle pour ajuster le niveau de prévisualisation d'une image ou pour contrôler la luminosité d'une couleur, ou pour spécifier le nombre de minutes d'inactivité avant que l'économiseur d'écran s'affiche à l'écran.

Comme avec les barres de défilement, il existe des types de widgets séparés pour les widgets horizontaux et verticaux. ( La plupart des programmeurs préfèrent parler des widget échelles horizontaux. Puisqu'ils fonctionnent essentiellement de la même manière, il est inutile de les traiter séparément ici. Les fonctions suivantes créent des widgets échelles horizontaux et verticaux :

L'argument adjustment peut-être soit un ajustement qui a déjà été créé, ou une chaîne ``nulle'' auquel cas un ajustement anonyme est créé avec toutes ses valeurs déclarées à 0.0 ( ce qui n'est pas très utile dans ce cas ). Afin de vous éviter toute confusion, vous voudrez probablement créé votre ajustement avec un page_size de 0.0 pour que sa valeur upper corresponde en fait à la valeur la plus élevée que l'utilisateur puisse sélectionner ( si vous êtes déjà complètement perdu, relisez la section sur les ajustements pour avoir une explication sur ce que font exactement les ajustements, comment les créer et comment les manipuler).

Les widgets échelles peuvent afficher leur valeur courante sous la forme d'un nombre au côté de la glissière. Le comportement par défaut est de montrer cette valeur, mais vous pouvez le changer avec la fonction :

Comme vous l'avez certainement deviné, $draw_value est une valeur vraie ou fausse avec les conséquences que l'on devine.

La valeur affichée est arrondie par défaut au dixième près, comme l'est l'intervalle de la valeur de l'ajustement. Vous pouvez le changer avec :

$digits est le nombre de décimales que vous désirez. Vous pouvez donner n'importe quelle valeur à $digits mais sachez qu'il n'y aura pas plus de 13 décimales affichées à l'écran.

Finalement la valeur peut être affichée à différents endroits par rapport à la glissière.

L'argument $pos peut être soit : 'left', 'right', 'top', 'bottom'. Si vous positionnez la valeur au côté de la glissière ( en haut ou en bas pour le widget horizontale ), alors il suivra le curseur le long de la glissière.


next up previous contents
suivant: Les barres de progression monter: Les widgets précédent: Les barres de défilements   Table des matières
LE BORGNE Patrice 2001-01-11