| Line 11... |
Line 11... |
| 11 |
|
11 |
|
| 12 |
import com.google.gwt.core.client.GWT;
|
12 |
import com.google.gwt.core.client.GWT;
|
| 13 |
import com.google.gwt.core.client.JavaScriptObject;
|
13 |
import com.google.gwt.core.client.JavaScriptObject;
|
| 14 |
import com.google.gwt.user.client.DOM;
|
14 |
import com.google.gwt.user.client.DOM;
|
| - |
|
15 |
import com.google.gwt.user.client.Event;
|
| 15 |
import com.google.gwt.user.client.Event;
|
16 |
import com.google.gwt.user.client.Timer;
|
| 16 |
import com.google.gwt.user.client.Window;
|
17 |
import com.google.gwt.user.client.Window;
|
| 17 |
import com.google.gwt.user.client.ui.Image;
|
18 |
import com.google.gwt.user.client.ui.Image;
|
| 18 |
import com.gwtext.client.core.EventCallback;
|
19 |
import com.gwtext.client.core.EventCallback;
|
| 19 |
import com.gwtext.client.core.EventObject;
|
20 |
import com.gwtext.client.core.EventObject;
|
| Line 27... |
Line 28... |
| 27 |
import com.gwtext.client.widgets.TabPanel;
|
28 |
import com.gwtext.client.widgets.TabPanel;
|
| 28 |
import com.gwtext.client.widgets.Tool;
|
29 |
import com.gwtext.client.widgets.Tool;
|
| 29 |
import com.gwtext.client.widgets.ToolTip;
|
30 |
import com.gwtext.client.widgets.ToolTip;
|
| 30 |
import com.gwtext.client.widgets.event.ContainerListener;
|
31 |
import com.gwtext.client.widgets.event.ContainerListener;
|
| 31 |
import com.gwtext.client.widgets.event.ContainerListenerAdapter;
|
32 |
import com.gwtext.client.widgets.event.ContainerListenerAdapter;
|
| - |
|
33 |
import com.gwtext.client.widgets.event.TabPanelListener;
|
| - |
|
34 |
import com.gwtext.client.widgets.event.TabPanelListenerAdapter;
|
| 32 |
import com.gwtext.client.widgets.layout.FitLayout;
|
35 |
import com.gwtext.client.widgets.layout.FitLayout;
|
| 33 |
import com.gwtext.client.widgets.layout.RowLayout;
|
36 |
import com.gwtext.client.widgets.layout.RowLayout;
|
| 34 |
import com.gwtext.client.widgets.layout.RowLayoutData;
|
37 |
import com.gwtext.client.widgets.layout.RowLayoutData;
|
| Line 35... |
Line 38... |
| 35 |
|
38 |
|
| Line 203... |
Line 206... |
| 203 |
observationMediateur.redimensionnerPanneaux(adjHeight, adjWidth);
|
206 |
observationMediateur.redimensionnerPanneaux(adjHeight, adjWidth);
|
| Line 204... |
Line 207... |
| 204 |
|
207 |
|
| 205 |
}
|
208 |
}
|
| Line -... |
Line 209... |
| - |
|
209 |
});
|
| - |
|
210 |
|
| - |
|
211 |
ongletsObservationsImages.addListener(new TabPanelListenerAdapter() {
|
| - |
|
212 |
|
| - |
|
213 |
public void onTabChange(TabPanel source, Panel tab) {
|
| - |
|
214 |
if(tab.equals(imageMediateur.getPanneauPrincipalImage())) {
|
| - |
|
215 |
|
| - |
|
216 |
Timer t = new Timer() {
|
| - |
|
217 |
|
| - |
|
218 |
public void run() {
|
| - |
|
219 |
imageMediateur.obtenirNombreMiniListeObservations();
|
| - |
|
220 |
imageMediateur.rafraichirToutesVues();
|
| - |
|
221 |
}
|
| - |
|
222 |
};
|
| - |
|
223 |
|
| - |
|
224 |
t.schedule(150);
|
| - |
|
225 |
}
|
| - |
|
226 |
}
|
| 206 |
});
|
227 |
});
|
| 207 |
|
228 |
|
| 208 |
// on ajoute les panneaux principaux des applications au panneau à onglets
|
229 |
// on ajoute les panneaux principaux des applications au panneau à onglets
|
| 209 |
ongletsObservationsImages.add(observationMediateur.getPanneauPrincipalObservation());
|
230 |
ongletsObservationsImages.add(observationMediateur.getPanneauPrincipalObservation());
|