Ejemplo n.º 1
0
  private void createComponents() {
    ButtonGroup group;
    int i;
    // menu
    fichier = new JMenu("Fichier");
    noeuds = new JMenu("Noeuds");
    paires = new JMenu("Paires");
    couleurs = new JMenu("Couleurs");

    // fichier
    quit = new JMenuItem("Quitter");
    clear = new JMenuItem("Clear");
    latex = new JMenuItem("LateX");
    image = new JMenuItem("Image");

    // noeud
    creerNoeuds = new JRadioButtonMenuItem("Ajouter");
    creerNoeuds.setSelected(true);
    supprimerNoeuds = new JRadioButtonMenuItem("Supprimer");
    neutreNoeuds = new JRadioButtonMenuItem("Neutre");
    group = new ButtonGroup();
    {
      group.add(creerNoeuds);
      group.add(supprimerNoeuds);
      group.add(neutreNoeuds);
    }

    circle = new JRadioButtonMenuItem("Cercle");
    circle.setSelected(true);
    rectangle = new JRadioButtonMenuItem("Rectangle");
    simple = new JRadioButtonMenuItem("Simple");
    group = new ButtonGroup();
    {
      group.add(circle);
      group.add(rectangle);
      group.add(simple);
    }
    doublz = new JRadioButtonMenuItem("doublé");

    // paires
    creerPaires = new JRadioButtonMenuItem("Ajouter");
    supprimerPaires = new JRadioButtonMenuItem("Supprimer");
    neutrePaires = new JRadioButtonMenuItem("Neutre");
    neutrePaires.setSelected(true);
    group = new ButtonGroup();
    {
      group.add(creerPaires);
      group.add(supprimerPaires);
      group.add(neutrePaires);
    }
    edgestyles = new JRadioButtonMenuItem[EdgeStyle.values().length];
    i = 0;
    group = new ButtonGroup();
    for (EdgeStyle es : EdgeStyle.values()) {
      edgestyles[i] = new JRadioButtonMenuItem(es.toString());
      group.add(edgestyles[i]);
      if (i == 0) edgestyles[i].setSelected(true);
      i++;
    }
    // couleurs
    colors = new JRadioButtonMenuItem[ColorSetting.values().length];
    mapcol = new HashMap<JRadioButtonMenuItem, ColorSetting>();
    i = 0;
    group = new ButtonGroup();
    for (ColorSetting cs : ColorSetting.values()) {
      colors[i] = new JRadioButtonMenuItem(cs.toString());
      group.add(colors[i]);
      mapcol.put(colors[i], cs);
      i++;
    }

    ggp = new GrapheGridPanel<IArc>(Color.white, new Graphe<IArc>(IArc.class));
    output = new JTextArea(20, 30);
  }