4,7 → 4,6 |
import org.tela_botanica.client.interfaces.Rafraichissable; |
|
import com.google.gwt.user.client.Window; |
import com.gwtext.client.core.EventCallback; |
import com.gwtext.client.core.EventObject; |
import com.gwtext.client.core.Template; |
import com.gwtext.client.data.Record; |
16,10 → 15,7 |
import com.gwtext.client.widgets.ToolbarTextItem; |
import com.gwtext.client.widgets.event.ButtonListenerAdapter; |
import com.gwtext.client.widgets.form.ComboBox; |
import com.gwtext.client.widgets.form.Field; |
import com.gwtext.client.widgets.form.TextField; |
import com.gwtext.client.widgets.form.event.ComboBoxListenerAdapter; |
import com.gwtext.client.widgets.form.event.TextFieldListenerAdapter; |
|
public class MiniBarrePaginationVue extends Toolbar implements Rafraichissable { |
|
190,12 → 186,10 |
* éléments de la barre de pagination |
*/ |
private void ajouterListeners() { |
|
|
|
// boutons suivants et précédents |
prevPage.addListener(new ButtonListenerAdapter() { |
|
@Override |
public void onClick(Button button, EventObject e) { |
|
// si la page courante n'est pas la première |
212,6 → 206,7 |
|
suivPage.addListener(new ButtonListenerAdapter() { |
|
@Override |
public void onClick(Button button, EventObject e) { |
|
// si la page courante n'est pas la dernière |
229,6 → 224,7 |
// listener pour la selection dans la combobox |
selecteurTaillePage.addListener(new ComboBoxListenerAdapter() { |
|
@Override |
public void onSelect(ComboBox comboBox, Record record, int index) { |
|
String nouvelleTaillePageString = comboBox.getStore() |
262,6 → 258,7 |
/** |
* Methode héritée de l'interface rafraichissable |
*/ |
@Override |
public void rafraichir(Object nouvelleDonnees, |
boolean repandreRaffraichissement) { |
|
297,7 → 294,6 |
* taille de pages |
*/ |
public String[] getNbPages() { |
|
return pages; |
} |
|
310,9 → 306,7 |
* renvoyé par getNbPages()) |
*/ |
public void changerTaillePage(int nouvelleTaillePage) { |
|
listePaginable.changerTaillePage(nouvelleTaillePage); |
|
} |
|
/** |
323,7 → 317,6 |
* la nouvelle taille de page |
*/ |
public void selectionnerTaillePage(int nouvelleTaillePage) { |
|
selecteurTaillePage.setValue("" + nouvelleTaillePage); |
} |
} |