| 13,7 → 13,6 |
|---|
| import com.extjs.gxt.ui.client.widget.layout.BorderLayout; |
| import com.extjs.gxt.ui.client.widget.layout.BorderLayoutData; |
| import com.google.gwt.core.client.GWT; |
| import com.google.gwt.user.client.Window; |
| |
| public class PublicationVue extends LayoutContainer implements Rafraichissable { |
| |
| 40,8 → 39,6 |
|---|
| } |
| |
| public void rafraichir(Object nouvellesDonnees) { |
| |
| |
| if (nouvellesDonnees instanceof Publication) { |
| panneauPublicationDetail.rafraichir(nouvellesDonnees); |
| } else if (nouvellesDonnees instanceof PublicationListe) { |
| 50,7 → 47,7 |
|---|
| } else if (nouvellesDonnees instanceof Information) { |
| panneauPublicationListe.rafraichir(nouvellesDonnees); |
| } else { |
| GWT.log(mediateur.i18nM.erreurRafraichir(nouvellesDonnees.getClass(), this.getClass()), null); |
| GWT.log(Mediateur.i18nM.erreurRafraichir(nouvellesDonnees.getClass(), this.getClass()), null); |
| } |
| } |
| } |