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) |