/** Creates a JRadioButtonMenuItem for the Themes menu */
  private JMenuItem createThemesMenuItem(
      JMenu menu,
      String label,
      char mnemonic,
      String accessibleDescription,
      DefaultMetalTheme theme) {
    JRadioButtonMenuItem mi = (JRadioButtonMenuItem) menu.add(new JRadioButtonMenuItem(label));
    themesMenuGroup.add(mi);
    mi.setMnemonic(mnemonic);
    mi.getAccessibleContext().setAccessibleDescription(accessibleDescription);
    mi.addActionListener(new ChangeThemeAction(this, theme));

    return mi;
  }
 /**
  * This method initializes jRadioButtonMenuItem1
  *
  * @return JRadioButtonMenuItem
  */
 private JRadioButtonMenuItem getJRadioButtonMenuItem1() {
   if (jRadioButtonMenuItem1 == null) {
     jRadioButtonMenuItem1 = new JRadioButtonMenuItem();
     jRadioButtonMenuItem1.setText("System");
     jRadioButtonMenuItem1.setMnemonic(java.awt.event.KeyEvent.VK_Y);
     jRadioButtonMenuItem1.setAccelerator(
         javax.swing.KeyStroke.getKeyStroke(
             java.awt.event.KeyEvent.VK_Y, java.awt.Event.ALT_MASK, false));
     jRadioButtonMenuItem1.addActionListener(
         new java.awt.event.ActionListener() {
           public void actionPerformed(java.awt.event.ActionEvent e) {
             changeLnF(UIManager.getSystemLookAndFeelClassName());
           }
         });
   }
   return jRadioButtonMenuItem1;
 }
 /**
  * This method initializes jRadioButtonMenuItem
  *
  * @return JRadioButtonMenuItem
  */
 private JRadioButtonMenuItem getJRadioButtonMenuItem() {
   if (jRadioButtonMenuItem == null) {
     jRadioButtonMenuItem = new JRadioButtonMenuItem();
     jRadioButtonMenuItem.setText("Default");
     jRadioButtonMenuItem.setSelected(true);
     jRadioButtonMenuItem.setAccelerator(
         javax.swing.KeyStroke.getKeyStroke(
             java.awt.event.KeyEvent.VK_D, java.awt.Event.ALT_MASK, false));
     jRadioButtonMenuItem.setMnemonic(java.awt.event.KeyEvent.VK_D);
     jRadioButtonMenuItem.addActionListener(
         new java.awt.event.ActionListener() {
           public void actionPerformed(java.awt.event.ActionEvent e) {
             changeLnF(UIManager.getCrossPlatformLookAndFeelClassName());
           }
         });
   }
   return jRadioButtonMenuItem;
 }
Beispiel #4
0
  private void initMenu() {

    JMenuBar menu = new JMenuBar();
    setJMenuBar(menu);
    {
      // SUDOKU
      JMenu mSudoku = new JMenu();
      menu.add(mSudoku);
      mSudoku.setText("Sudoku");
      mSudoku.setMnemonic('S');
      {
        sudNew = new JMenuItem("New", loadIcon("star1.png"));
        mSudoku.add(sudNew);
        setCtrlAcceleratorMenu(sudNew, 'N');
        sudNew.addActionListener(mH);
        sudNew.setMnemonic('N');

        sudCreate = new JMenuItem("Create", loadIcon("board1.png"));
        mSudoku.add(sudCreate);
        sudCreate.addActionListener(mH);
        sudCreate.setMnemonic('R');

        sudOpen = new JMenuItem("Open...", loadIcon("open1.png"));
        mSudoku.add(sudOpen);
        setCtrlAcceleratorMenu(sudOpen, 'O');
        sudOpen.addActionListener(mH);
        sudOpen.setMnemonic('O');

        sudSave = new JMenuItem("Save", loadIcon("disk1.png"));
        mSudoku.add(sudSave);
        setCtrlAcceleratorMenu(sudSave, 'S');
        sudSave.addActionListener(mH);
        sudSave.setMnemonic('S');

        sudSaveAs = new JMenuItem("Save as...", loadIcon("diskAs1.png"));
        mSudoku.add(sudSaveAs);
        sudSaveAs.addActionListener(mH);
        setKeyAcceleratorMenu(sudSaveAs, 'S', Event.SHIFT_MASK + Event.CTRL_MASK);
        sudSaveAs.setMnemonic('A');

        mSudoku.addSeparator();

        sudClear = new JMenuItem("Clear", loadIcon("bin1.png"));
        mSudoku.add(sudClear);
        sudClear.addActionListener(mH);
        sudClear.setMnemonic('C');

        sudHint = new JMenuItem("Hint", loadIcon("help1.png"));
        mSudoku.add(sudHint);
        sudHint.addActionListener(mH);
        sudHint.setMnemonic('H');
        setCtrlAcceleratorMenu(sudHint, 'H');

        sudSolve = new JMenuItem("Solve", loadIcon("tick1.png"));
        mSudoku.add(sudSolve);
        sudSolve.addActionListener(mH);
        sudSolve.setMnemonic('L');

        mSudoku.addSeparator();

        sudExport = new JMenuItem("Export...", loadIcon("export1.png"));
        mSudoku.add(sudExport);
        sudExport.addActionListener(mH);
        setCtrlAcceleratorMenu(sudExport, 'T');
        sudExport.setMnemonic('T');

        mSudoku.addSeparator();

        sudExit = new JMenuItem("Exit", loadIcon("cross1.png"));
        mSudoku.add(sudExit);
        setKeyAcceleratorMenu(sudExit, Event.ESCAPE, 0);
        sudExit.addActionListener(mH);
        sudExit.setMnemonic('X');
      }

      // Options
      JMenu mOptions = new JMenu("Options");
      mOptions.setMnemonic('O');
      menu.add(mOptions);
      {
        JLabel jl1 = new JLabel("<HTML>  &#032&#032<U>Difficulty :</U><HTML>");
        jl1.setHorizontalAlignment(JLabel.LEFT);
        jl1.setHorizontalTextPosition(JLabel.LEFT);
        mOptions.add(jl1);

        ButtonGroup bGr1 = new ButtonGroup();

        opDiffEasy = new JRadioButtonMenuItem("Easy");
        opDiffEasy.addActionListener(mH);
        opDiffEasy.setMnemonic('E');
        mOptions.add(opDiffEasy);
        bGr1.add(opDiffEasy);

        opDiffNormal = new JRadioButtonMenuItem("Normal", true);
        opDiffNormal.addActionListener(mH);
        opDiffNormal.setMnemonic('N');
        mOptions.add(opDiffNormal);
        bGr1.add(opDiffNormal);

        opDiffHard = new JRadioButtonMenuItem("Hard");
        opDiffHard.addActionListener(mH);
        opDiffHard.setMnemonic('H');
        mOptions.add(opDiffHard);
        bGr1.add(opDiffHard);

        opDiffCustom = new JRadioButtonMenuItem("Custom...");
        mOptions.add(opDiffCustom);
        opDiffCustom.addActionListener(mH);
        opDiffCustom.setMnemonic('C');
        bGr1.add(opDiffCustom);

        mOptions.addSeparator();

        JLabel jl2 = new JLabel("<HTML>  &#032&#032<U>Number Distribution :</U><HTML>");
        jl2.setHorizontalAlignment(JLabel.LEFT);
        jl2.setHorizontalTextPosition(JLabel.LEFT);
        mOptions.add(jl2);

        ButtonGroup bGr2 = new ButtonGroup();

        opND1 = new JRadioButtonMenuItem("Evenly filled 3x3 Cubes", true);
        opND1.addActionListener(mH);
        opND1.setMnemonic('F');
        mOptions.add(opND1);
        bGr2.add(opND1);

        opND2 = new JRadioButtonMenuItem("Evenly distributed Numbers");
        opND2.addActionListener(mH);
        opND2.setMnemonic('D');
        mOptions.add(opND2);
        bGr2.add(opND2);

        opND3 = new JRadioButtonMenuItem("Random");
        opND3.addActionListener(mH);
        opND3.setMnemonic('R');
        mOptions.add(opND3);
        bGr2.add(opND3);

        mOptions.addSeparator();

        opPref = new JMenuItem("Preferences...", loadIcon("wrench1.png"));
        mOptions.add(opPref);
        opPref.addActionListener(mH);
        setCtrlAcceleratorMenu(opPref, 'P');
        opPref.setMnemonic('P');
      }

      // Help
      JMenu mHelp = new JMenu("Help");
      mHelp.setMnemonic('H');
      menu.add(mHelp);
      {
        helpAbout = new JMenuItem("About", loadIcon("cup1.png"));
        mHelp.add(helpAbout);
        helpAbout.addActionListener(mH);
        helpAbout.setMnemonic('A');
      }
    }
  }
Beispiel #5
0
  public JMenuBar createMenuBar() {
    JMenuBar menuBar;
    JMenu menu, submenu;
    JMenuItem menuItem;
    JRadioButtonMenuItem rbMenuItem;
    JCheckBoxMenuItem cbMenuItem;

    // Create the menu bar.
    menuBar = new JMenuBar();

    // Build the first menu.
    menu = new JMenu("A Menu");
    menu.setMnemonic(KeyEvent.VK_A);
    menu.getAccessibleContext()
        .setAccessibleDescription("The only menu in this program that has menu items");
    menuBar.add(menu);

    // a group of JMenuItems
    menuItem = new JMenuItem("A text-only menu item", KeyEvent.VK_T);
    // menuItem.setMnemonic(KeyEvent.VK_T); //used constructor instead
    menuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_1, ActionEvent.ALT_MASK));
    menuItem.getAccessibleContext().setAccessibleDescription("This doesn't really do anything");
    menuItem.addActionListener(this);
    menu.add(menuItem);

    ImageIcon icon = createImageIcon("images/middle.gif");
    menuItem = new JMenuItem("Both text and icon", icon);
    menuItem.setMnemonic(KeyEvent.VK_B);
    menuItem.addActionListener(this);
    menu.add(menuItem);

    menuItem = new JMenuItem(icon);
    menuItem.setMnemonic(KeyEvent.VK_D);
    menuItem.addActionListener(this);
    menu.add(menuItem);

    // a group of radio button menu items
    menu.addSeparator();
    ButtonGroup group = new ButtonGroup();

    rbMenuItem = new JRadioButtonMenuItem("A radio button menu item");
    rbMenuItem.setSelected(true);
    rbMenuItem.setMnemonic(KeyEvent.VK_R);
    group.add(rbMenuItem);
    rbMenuItem.addActionListener(this);
    menu.add(rbMenuItem);

    rbMenuItem = new JRadioButtonMenuItem("Another one");
    rbMenuItem.setMnemonic(KeyEvent.VK_O);
    group.add(rbMenuItem);
    rbMenuItem.addActionListener(this);
    menu.add(rbMenuItem);

    // a group of check box menu items
    menu.addSeparator();
    cbMenuItem = new JCheckBoxMenuItem("A check box menu item");
    cbMenuItem.setMnemonic(KeyEvent.VK_C);
    cbMenuItem.addItemListener(this);
    menu.add(cbMenuItem);

    cbMenuItem = new JCheckBoxMenuItem("Another one");
    cbMenuItem.setMnemonic(KeyEvent.VK_H);
    cbMenuItem.addItemListener(this);
    menu.add(cbMenuItem);

    // a submenu
    menu.addSeparator();
    submenu = new JMenu("A submenu");
    submenu.setMnemonic(KeyEvent.VK_S);

    menuItem = new JMenuItem("An item in the submenu");
    menuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_2, ActionEvent.ALT_MASK));
    menuItem.addActionListener(this);
    submenu.add(menuItem);

    menuItem = new JMenuItem("Another item");
    menuItem.addActionListener(this);
    submenu.add(menuItem);
    menu.add(submenu);

    // Build second menu in the menu bar.
    menu = new JMenu("Another Menu");
    menu.setMnemonic(KeyEvent.VK_N);
    menu.getAccessibleContext().setAccessibleDescription("This menu does nothing");
    menuBar.add(menu);

    return menuBar;
  }
  /** Adds the menu items to the menuber. */
  protected void arrangeMenu() {

    // Build the first menu.
    fileMenu = new JMenu("File");
    fileMenu.setMnemonic(KeyEvent.VK_F);
    menuBar.add(fileMenu);

    viewMenu = new JMenu("View");
    viewMenu.setMnemonic(KeyEvent.VK_V);
    menuBar.add(viewMenu);

    runMenu = new JMenu("Run");
    runMenu.setMnemonic(KeyEvent.VK_R);
    menuBar.add(runMenu);

    // Build the second menu.
    helpMenu = new JMenu("Help");
    helpMenu.setMnemonic(KeyEvent.VK_H);
    menuBar.add(helpMenu);

    programMenuItem = new JMenuItem("Load Program", KeyEvent.VK_O);
    programMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            programMenuItem_actionPerformed();
          }
        });
    fileMenu.add(programMenuItem);

    scriptMenuItem = new JMenuItem("Load Script", KeyEvent.VK_P);
    scriptMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            scriptMenuItem_actionPerformed();
          }
        });
    fileMenu.add(scriptMenuItem);
    fileMenu.addSeparator();

    exitMenuItem = new JMenuItem("Exit", KeyEvent.VK_X);
    exitMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X, InputEvent.ALT_MASK));
    exitMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            exitMenuItem_actionPerformed();
          }
        });
    fileMenu.add(exitMenuItem);

    viewMenu.addSeparator();

    ButtonGroup animationRadioButtons = new ButtonGroup();

    animationSubMenu = new JMenu("Animate");
    animationSubMenu.setMnemonic(KeyEvent.VK_A);
    viewMenu.add(animationSubMenu);

    partAnimMenuItem = new JRadioButtonMenuItem("Program flow");
    partAnimMenuItem.setMnemonic(KeyEvent.VK_P);
    partAnimMenuItem.setSelected(true);
    partAnimMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            partAnimMenuItem_actionPerformed();
          }
        });
    animationRadioButtons.add(partAnimMenuItem);
    animationSubMenu.add(partAnimMenuItem);

    fullAnimMenuItem = new JRadioButtonMenuItem("Program & data flow");
    fullAnimMenuItem.setMnemonic(KeyEvent.VK_D);
    fullAnimMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            fullAnimMenuItem_actionPerformed();
          }
        });
    animationRadioButtons.add(fullAnimMenuItem);
    animationSubMenu.add(fullAnimMenuItem);

    noAnimMenuItem = new JRadioButtonMenuItem("No Animation");
    noAnimMenuItem.setMnemonic(KeyEvent.VK_N);
    noAnimMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            noAnimMenuItem_actionPerformed();
          }
        });
    animationRadioButtons.add(noAnimMenuItem);
    animationSubMenu.add(noAnimMenuItem);

    ButtonGroup additionalDisplayRadioButtons = new ButtonGroup();

    additionalDisplaySubMenu = new JMenu("View");
    additionalDisplaySubMenu.setMnemonic(KeyEvent.VK_V);
    viewMenu.add(additionalDisplaySubMenu);

    scriptDisplayMenuItem = new JRadioButtonMenuItem("Script");
    scriptDisplayMenuItem.setMnemonic(KeyEvent.VK_S);
    scriptDisplayMenuItem.setSelected(true);
    scriptDisplayMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            scriptDisplayMenuItem_actionPerformed();
          }
        });
    additionalDisplayRadioButtons.add(scriptDisplayMenuItem);
    additionalDisplaySubMenu.add(scriptDisplayMenuItem);

    outputMenuItem = new JRadioButtonMenuItem("Output");
    outputMenuItem.setMnemonic(KeyEvent.VK_O);
    outputMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            outputMenuItem_actionPerformed();
          }
        });
    additionalDisplayRadioButtons.add(outputMenuItem);
    additionalDisplaySubMenu.add(outputMenuItem);

    compareMenuItem = new JRadioButtonMenuItem("Compare");
    compareMenuItem.setMnemonic(KeyEvent.VK_C);
    compareMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            compareMenuItem_actionPerformed();
          }
        });
    additionalDisplayRadioButtons.add(compareMenuItem);
    additionalDisplaySubMenu.add(compareMenuItem);

    noAdditionalDisplayMenuItem = new JRadioButtonMenuItem("Screen");
    noAdditionalDisplayMenuItem.setMnemonic(KeyEvent.VK_N);
    noAdditionalDisplayMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            noAdditionalDisplayMenuItem_actionPerformed();
          }
        });
    additionalDisplayRadioButtons.add(noAdditionalDisplayMenuItem);
    additionalDisplaySubMenu.add(noAdditionalDisplayMenuItem);

    ButtonGroup formatRadioButtons = new ButtonGroup();

    numericFormatSubMenu = new JMenu("Format");
    numericFormatSubMenu.setMnemonic(KeyEvent.VK_F);
    viewMenu.add(numericFormatSubMenu);

    decMenuItem = new JRadioButtonMenuItem("Decimal");
    decMenuItem.setMnemonic(KeyEvent.VK_D);
    decMenuItem.setSelected(true);
    decMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            decMenuItem_actionPerformed();
          }
        });
    formatRadioButtons.add(decMenuItem);
    numericFormatSubMenu.add(decMenuItem);

    hexaMenuItem = new JRadioButtonMenuItem("Hexadecimal");
    hexaMenuItem.setMnemonic(KeyEvent.VK_H);
    hexaMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            hexaMenuItem_actionPerformed();
          }
        });
    formatRadioButtons.add(hexaMenuItem);
    numericFormatSubMenu.add(hexaMenuItem);

    binMenuItem = new JRadioButtonMenuItem("Binary");
    binMenuItem.setMnemonic(KeyEvent.VK_B);
    binMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            binMenuItem_actionPerformed();
          }
        });
    formatRadioButtons.add(binMenuItem);
    numericFormatSubMenu.add(binMenuItem);

    viewMenu.addSeparator();

    singleStepMenuItem = new JMenuItem("Single Step", KeyEvent.VK_S);
    singleStepMenuItem.setAccelerator(KeyStroke.getKeyStroke("F11"));
    singleStepMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            singleStepMenuItem_actionPerformed();
          }
        });
    runMenu.add(singleStepMenuItem);

    ffwdMenuItem = new JMenuItem("Run", KeyEvent.VK_F);
    ffwdMenuItem.setAccelerator(KeyStroke.getKeyStroke("F5"));
    ffwdMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            ffwdMenuItem_actionPerformed();
          }
        });
    runMenu.add(ffwdMenuItem);

    stopMenuItem = new JMenuItem("Stop", KeyEvent.VK_T);
    stopMenuItem.setAccelerator(KeyStroke.getKeyStroke("shift F5"));
    stopMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            stopMenuItem_actionPerformed();
          }
        });
    runMenu.add(stopMenuItem);

    rewindMenuItem = new JMenuItem("Reset", KeyEvent.VK_R);
    rewindMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            rewindMenuItem_actionPerformed();
          }
        });
    runMenu.add(rewindMenuItem);

    runMenu.addSeparator();

    breakpointsMenuItem = new JMenuItem("Breakpoints", KeyEvent.VK_B);
    breakpointsMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            breakpointsMenuItem_actionPerformed();
          }
        });
    runMenu.add(breakpointsMenuItem);

    profilerMenuItem = new JMenuItem("Profiler", KeyEvent.VK_I);
    profilerMenuItem.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            showProfiler();
          }
        });
    profilerMenuItem.setEnabled(false);
    runMenu.add(profilerMenuItem);

    usageMenuItem = new JMenuItem("Usage", KeyEvent.VK_U);
    usageMenuItem.setAccelerator(KeyStroke.getKeyStroke("F1"));
    usageMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            usageMenuItem_actionPerformed();
          }
        });
    helpMenu.add(usageMenuItem);

    aboutMenuItem = new JMenuItem("About ...", KeyEvent.VK_A);
    aboutMenuItem.addActionListener(
        new ActionListener() {
          public void actionPerformed(ActionEvent e) {
            aboutMenuItem_actionPerformed();
          }
        });
    helpMenu.add(aboutMenuItem);
  }
Beispiel #7
0
  private void createControllers() {
    selected = IShapeNode.FILL_DEF_COL;

    this.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);

    fichier.setMnemonic(KeyEvent.VK_F);
    noeuds.setMnemonic(KeyEvent.VK_N);
    paires.setMnemonic(KeyEvent.VK_P);
    couleurs.setMnemonic(KeyEvent.VK_C);

    // quitter
    quit.setMnemonic(KeyEvent.VK_R);
    quit.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            dispose();
          }
        });

    // ajouter un noeud
    creerNoeuds.setMnemonic(KeyEvent.VK_A);
    creerNoeuds.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            creerNoeuds.setSelected(!creerNoeuds.isSelected());
            neutrePaires.setSelected(true);
          }
        });
    ggp.addMouseListener(
        new MouseAdapter() {
          @Override
          public void mouseClicked(MouseEvent e) {
            if (creerNoeuds.isSelected()) {
              String nom =
                  JOptionPane.showInputDialog(
                      null, "", "Nommer du noeud", JOptionPane.QUESTION_MESSAGE);
              if (nom != null) {
                IShapeNode n = null;
                // FIXME modifier pour généraliser à plusieurs formes
                if (circle.isSelected()) {
                  n = new CircleNode(nom, true, selected);
                }
                if (rectangle.isSelected()) {
                  n = new RectangleNode(nom, true, selected);
                }
                if (simple.isSelected()) {
                  n = new RectangleNode(nom, false, selected);
                }

                if (n != null) {
                  n.setPosition(e.getPoint());
                  ggp.addNode(n);
                }
              }
            }
          }
        });

    // supprimer un noeud
    supprimerNoeuds.setMnemonic(KeyEvent.VK_S);
    supprimerNoeuds.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            supprimerNoeuds.setSelected(!supprimerNoeuds.isSelected());
            neutrePaires.setSelected(true);
          }
        });
    ggp.addMouseListener(
        new MouseAdapter() {
          @Override
          public void mouseClicked(MouseEvent e) {
            if (supprimerNoeuds.isSelected()) {
              // TODO
            }
          }
        });

    // ne rien faire des noeuds
    neutreNoeuds.setMnemonic(KeyEvent.VK_E);
    neutreNoeuds.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            neutreNoeuds.setSelected(!neutreNoeuds.isSelected());
          }
        });
    ggp.addMouseListener(
        new MouseAdapter() {
          @Override
          public void mouseClicked(MouseEvent e) {
            if (neutreNoeuds.isSelected()) {
              // TODO
            }
          }
        });

    // créer une paire
    creerPaires.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent arg0) {
            creerPaires.setSelected(true);
            neutreNoeuds.setSelected(true);
          }
        });
    ggp.addMouseListener(
        new MouseAdapter() {
          IShapeNode select = null;

          @Override
          public void mouseClicked(MouseEvent e) {
            if (creerPaires.isSelected()) {
              if (ggp.selectedNodes.size() == 1) {
                if (select != null) {
                  String nom =
                      JOptionPane.showInputDialog(
                          null, "", "Nommer l'arc", JOptionPane.QUESTION_MESSAGE);
                  if (nom != null) {
                    Color col = selected.col();
                    ;
                    if (selected.equals(ColorSetting.WHITE)) {
                      col = ColorSetting.BLACK.col();
                    }
                    ggp.addEdge(
                        new DirectEdge(
                            select, (IShapeNode) ggp.selectedNodes.toArray()[0], nom, col));

                    select = null;
                  }
                } else select = (IShapeNode) ggp.selectedNodes.toArray()[0];
              }
            }
          }
        });

    // supprimer des paires
    supprimerPaires.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent arg0) {
            supprimerPaires.setSelected(true);
            neutreNoeuds.setSelected(true);
          }
        });

    neutrePaires.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent arg0) {
            neutrePaires.setSelected(true);
          }
        });

    // couleurs
    for (JRadioButtonMenuItem c : colors) {
      c.addActionListener(
          new ActionListener() {
            @Override
            public void actionPerformed(ActionEvent a) {
              selected = mapcol.get(a.getSource());
            }
          });
    }

    // imprime dans l'output une sortie latex
    latex.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent e) {
            // System.out.println(ggp.latex());
            output.setText(ggp.latex());
          }
        });
    // vide le panel
    clear.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent arg0) {
            ggp.setModel(new Graphe<IArc>(IArc.class));
            output.setText("");
          }
        });

    // créer une image à partir d'une compilation latex
    image.addActionListener(
        new ActionListener() {
          @Override
          public void actionPerformed(ActionEvent ae) {
            JFileChooser fc = new JFileChooser();
            int returnVal = fc.showSaveDialog(Appli.this);
            if (returnVal == JFileChooser.APPROVE_OPTION) {
              File file = fc.getSelectedFile();
              StringBuffer sb = new StringBuffer("\\documentclass{beamer}\n");
              sb.append("\\usepackage{tikz}\n");
              sb.append("\\setbeamertemplate{navigation symbols}{}\n");
              sb.append("\\begin{document}\n");
              sb.append("\\begin{center}\n");
              sb.append("\\ \\\\ \n");
              sb.append(ggp.latex());
              sb.append("\\end{center}\n");
              sb.append("\\end{document}\n");
              try {
                BufferedWriter bw = new BufferedWriter(new FileWriter(file));
                bw.write(sb.toString());
                bw.flush();
                bw.close();
                Runtime r = Runtime.getRuntime();
                Process p;
                try {
                  p = r.exec("mkdir tmp");
                  p.waitFor();
                  p =
                      r.exec(
                          "/usr/texbin/pdflatex -output-directory ./tmp " + file.getAbsolutePath());
                  p.waitFor();
                  p = r.exec("mv ./tmp/" + file.getName() + ".pdf " + "file.pdf");
                  p.waitFor();
                  p = r.exec("sh sc.sh");
                  // p.waitFor();
                  // p = r.exec("ls");
                  int c = p.getInputStream().read();
                  while (c != -1) {
                    System.out.print((char) c);
                    c = p.getInputStream().read();
                  }
                } catch (InterruptedException e) {
                  // TODO Auto-generated catch block
                  e.printStackTrace();
                }
                // System.out.println("mv ./tmp/" + file.getName() + ".pdf file.pdf");

                // r.exec("rm -r tmp");
              } catch (IOException e) {
                e.printStackTrace();
              }
            }
          }
        });
  }