{filelink=179}

import java.awt.*;

import java.awt.event.*;

import javax.swing.*;



/** Boîte de dialogue de sélection des police .
 *
 * Le programme applique la police choisie  
 * dans la boîte de dialogue sur un texte
 */

public class ExFont extends JDialog {



    public ExFont(Frame f) {

        super(f, "Font Chooser", true);

         JPanel pnl = new JPanel(); 


        JPanel top = new JPanel( );

        top.setLayout(new FlowLayout( ));



        policeChoisie = new List(8);

        top.add(policeChoisie);


        // Obtenir la liste des polices disponible
        Toolkit toolkit = Toolkit.getDefaultToolkit( );
        listePolice = GraphicsEnvironment.getLocalGraphicsEnvironment( ).

            getAvailableFontFamilyNames( );



        for (int i=0; i