| 320,12 → 320,9 |
|---|
| int nouvellePage = pageCourante; |
| // on teste avec parseInt si la valeur entrée est un entier |
| try { |
| nouvellePage = Integer |
| .parseInt(champPage.getRawValue()); |
| } |
| // si ce n'est pas le cas alors on remet le numéro de page |
| // correct |
| catch (NumberFormatException nfe) { |
| nouvellePage = Integer.parseInt(champPage.getRawValue()); |
| } catch (NumberFormatException nfe) { |
| // si ce n'est pas le cas alors on remet le numéro de page correct |
| rafraichirNumeroPage(); |
| champPage.focus(); |
| return; |
| 355,11 → 352,8 |
|---|
| // non numériques |
| champPage.addKeyListener(new KeyListener() { |
| public void componentKeyDown(ComponentEvent ce) { |
| // si c'est un numerique |
| /* |
| FIXME |
| if (Character.isDigit((char) e.getCharCode())) { |
| |
| // FIXME : si c'est un numerique |
| /*if (Character.isDigit((char) e.getCharCode())) { |
| // on laisse passer |
| return; |
| }*/ |
| 370,8 → 364,7 |
|---|
| // on laisse passer |
| return; |
| } else { |
| // sinon on remet le numero de page correct et on annule |
| // l'évenement |
| // sinon on remet le numero de page correct et on annule l'évenement |
| rafraichirNumeroPage(); |
| ce.stopEvent(); |
| } |
| 384,9 → 377,7 |
|---|
| SimpleComboBox comboBox = (SimpleComboBox) e.getSource(); |
| String nouvelleTaillePageString = comboBox.getRawValue(); |
| int nouvelleTaillePage = Integer.parseInt(nouvelleTaillePageString); |
| |
| changerTaillePage(nouvelleTaillePage); |
| |
| rafraichirNumeroPage(); |
| } |
| }); |
| 401,7 → 392,6 |
|---|
| intervalleElements.setText("<b><i>Recherche active : </i></b>" + termeRecherche); |
| } else { |
| surTotalPage.setText(" sur " + pageTotale); |
| |
| if (nbElement == 0) { |
| champPage.setValue("" + (0)); |
| // on met simplement à jour l'intervalle qui contient toujours le |
| 409,7 → 399,6 |
|---|
| intervalleElements.setText(i18nM.elementsAffiches(UtilString.ucFirst(labelElement), 0,0,0)); |
| } else { |
| champPage.setValue("" + (pageCourante + 1)); |
| |
| // si la page n'est pas la dernière |
| if (pageCourante + 1 != pageTotale) { |
| // sauf pour la dernière page qui contient souvent moins |
| 437,17 → 426,6 |
|---|
| pageCourante = nouvellePageCourante; |
| } |
| |
| /* |
| * Renvoie les différents intervalles de pages possibles |
| * |
| * @return un tableau de string qui contient les différentes |
| * taille de pages |
| * |
| public String[] getNbPages() { |
| |
| return pages; |
| }/ |
| |
| /** |
| * Envoie au médiateur une demande pour modifier la taille de la page (qui |
| * va à son tour faire les modifications nécessaires) |