Un``point'' est une unité de mesure égale à 1/72 de pouce. Un facteur d'echelle de 1.0 correspond à 1 pixel par point, qui est équivalent à un moniteur standard à 72 dpi. Un facteur d'echelle de 1.25 signifierait 1.25 pixels par point, qui est le paramètre pour un moniteur 90 dpi; régler le facteur d'echelle à 1.25 sur un moniteur 72 dpi provoqurait l'affichage de toutes les fenêtres de l'application à 1.25 fois leur taille normale. La valeur initiale du facteur d'echelle est fixée quand l'application commence, basée sur les propriétés du moniteur installé, mais elle peut être changée n'importe quand. Les mesures effectuées après la modification du facteur d'echelle utiliseront le nouveau, mais il est indéfini si des widgets existants se redimensionnent eux-même dynamiquement pour adopter le nouveau facteur.
Copyright © 1992 The Regents of the University of California. Copyright © 1994-1996 Sun Microsystems, Inc. Copyright © 1995-1997 Roger E. Critchlow Jr.