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