| 13,6 → 13,7 |
|---|
| import com.google.gwt.core.client.JavaScriptObject; |
| import com.google.gwt.user.client.DOM; |
| import com.google.gwt.user.client.Event; |
| import com.google.gwt.user.client.Timer; |
| import com.google.gwt.user.client.Window; |
| import com.google.gwt.user.client.ui.Image; |
| import com.gwtext.client.core.EventCallback; |
| 29,6 → 30,8 |
|---|
| import com.gwtext.client.widgets.ToolTip; |
| import com.gwtext.client.widgets.event.ContainerListener; |
| import com.gwtext.client.widgets.event.ContainerListenerAdapter; |
| import com.gwtext.client.widgets.event.TabPanelListener; |
| import com.gwtext.client.widgets.event.TabPanelListenerAdapter; |
| import com.gwtext.client.widgets.layout.FitLayout; |
| import com.gwtext.client.widgets.layout.RowLayout; |
| import com.gwtext.client.widgets.layout.RowLayoutData; |
| 205,6 → 208,24 |
|---|
| } |
| }); |
| |
| ongletsObservationsImages.addListener(new TabPanelListenerAdapter() { |
| |
| public void onTabChange(TabPanel source, Panel tab) { |
| if(tab.equals(imageMediateur.getPanneauPrincipalImage())) { |
| |
| Timer t = new Timer() { |
| |
| public void run() { |
| imageMediateur.obtenirNombreMiniListeObservations(); |
| imageMediateur.rafraichirToutesVues(); |
| } |
| }; |
| |
| t.schedule(150); |
| } |
| } |
| }); |
| |
| // on ajoute les panneaux principaux des applications au panneau à onglets |
| ongletsObservationsImages.add(observationMediateur.getPanneauPrincipalObservation()); |
| ongletsObservationsImages.add(imageMediateur.getPanneauPrincipalImage()); |