diff --git a/src/lecteur_pdf/GestionPdf.java b/src/lecteur_pdf/GestionPdf.java index 744d07f..ca0213f 100644 --- a/src/lecteur_pdf/GestionPdf.java +++ b/src/lecteur_pdf/GestionPdf.java @@ -87,6 +87,5 @@ public class GestionPdf { System.out.println(RaccourcisClavier.raccourcis); System.out.println(RaccourcisClavier.gestionnaireRaccourcis); - } } diff --git a/src/lecteur_pdf/menuBar/menu/MenuFichier.java b/src/lecteur_pdf/menuBar/menu/MenuFichier.java index 90904a6..4d1d925 100644 --- a/src/lecteur_pdf/menuBar/menu/MenuFichier.java +++ b/src/lecteur_pdf/menuBar/menu/MenuFichier.java @@ -34,5 +34,7 @@ public class MenuFichier extends JMenu { add(new OuvrirFichier(parent)); add(new FermerFichier(parent)); add(new Quitter(parent)); + + } } diff --git a/src/lecteur_pdf/raccourcisClavier/RaccourcisClavier.java b/src/lecteur_pdf/raccourcisClavier/RaccourcisClavier.java index 188c7a6..904e2ab 100644 --- a/src/lecteur_pdf/raccourcisClavier/RaccourcisClavier.java +++ b/src/lecteur_pdf/raccourcisClavier/RaccourcisClavier.java @@ -10,6 +10,7 @@ import org.w3c.dom.Text; import javax.swing.*; import java.awt.*; +import java.awt.event.InputEvent; import java.io.Serializable; import java.util.HashMap; import java.util.Map; @@ -33,25 +34,22 @@ public class RaccourcisClavier extends JFrame { super("Modification des raccourcis claviers"); JPanel panel = new JPanel(); for (String nomOptions : raccourcis.keySet()) { - panel.add(new ligneRaccourci(nomOptions, - getChar(nomOptions), - false)); + panel.add( + new ligneRaccourci(nomOptions, getChar(nomOptions), false)); } add(panel); pack(); - setSize(500, 500); + setSize(250, 500); setResizable(false); setVisible(true); } public char getChar(String nomOptions) { -// if () { -// return (char) raccourcis.get(nomOptions) -// .getKeyCode(); -// } else { -// return (char) raccourcis.get(nomOptions) -// .getKeyChar(); -// } - return (char) raccourcis.get(nomOptions).getKeyCode(); + if (raccourcis.get(nomOptions).getModifiers() + == (InputEvent.CTRL_DOWN_MASK)) { + return (char) raccourcis.get(nomOptions).getKeyCode(); + } else { + return raccourcis.get(nomOptions).getKeyChar(); + } } } diff --git a/src/lecteur_pdf/raccourcisClavier/ligneRaccourci.java b/src/lecteur_pdf/raccourcisClavier/ligneRaccourci.java index 7a21333..7fb80b4 100644 --- a/src/lecteur_pdf/raccourcisClavier/ligneRaccourci.java +++ b/src/lecteur_pdf/raccourcisClavier/ligneRaccourci.java @@ -20,7 +20,8 @@ public class ligneRaccourci extends JPanel { public ligneRaccourci(String labelName, char raccourcis, boolean ctrl) { raccourciLabel.setText(labelName); - inputButton.setText(String.valueOf(raccourcis).toUpperCase(Locale.ROOT)); + inputButton.setText(String.valueOf(raccourcis)/*.toUpperCase(Locale + .ROOT)*/); ctrlCheckBox.setSelected(ctrl); add(optionsRaccourcis); }