Line 5... |
Line 5... |
5 |
import com.google.gwt.user.client.Window;
|
5 |
import com.google.gwt.user.client.Window;
|
6 |
import com.gwtext.client.widgets.Component;
|
6 |
import com.gwtext.client.widgets.Component;
|
7 |
import com.gwtext.client.widgets.Panel;
|
7 |
import com.gwtext.client.widgets.Panel;
|
8 |
import com.gwtext.client.widgets.event.ContainerListener;
|
8 |
import com.gwtext.client.widgets.event.ContainerListener;
|
9 |
import com.gwtext.client.widgets.event.ContainerListenerAdapter;
|
9 |
import com.gwtext.client.widgets.event.ContainerListenerAdapter;
|
- |
|
10 |
import com.gwtext.client.widgets.event.PanelListener;
|
- |
|
11 |
import com.gwtext.client.widgets.event.PanelListenerAdapter;
|
10 |
import com.gwtext.client.widgets.layout.AccordionLayout;
|
12 |
import com.gwtext.client.widgets.layout.AccordionLayout;
|
11 |
import com.gwtext.client.widgets.layout.AnchorLayout;
|
13 |
import com.gwtext.client.widgets.layout.AnchorLayout;
|
12 |
import com.gwtext.client.widgets.layout.AnchorLayoutData;
|
14 |
import com.gwtext.client.widgets.layout.AnchorLayoutData;
|
- |
|
15 |
import com.gwtext.client.widgets.layout.FitLayout;
|
- |
|
16 |
import com.gwtext.client.widgets.layout.VerticalLayout;
|
Line 13... |
Line 17... |
13 |
|
17 |
|
14 |
/**
|
18 |
/**
|
15 |
* Panneau contenant les filtres qu'on peut appliquer aux images
|
19 |
* Panneau contenant les filtres qu'on peut appliquer aux images
|
16 |
*
|
20 |
*
|
Line 58... |
Line 62... |
58 |
super("Selections");
|
62 |
super("Selections");
|
Line 59... |
Line 63... |
59 |
|
63 |
|
Line 60... |
Line 64... |
60 |
observationMediateur = obs;
|
64 |
observationMediateur = obs;
|
61 |
|
65 |
|
Line 62... |
Line 66... |
62 |
this.setCollapsible(true);
|
66 |
this.setCollapsible(true);
|
- |
|
67 |
this.setLayout(new AnchorLayout()) ;
|
- |
|
68 |
|
63 |
setLayout(new AnchorLayout());
|
69 |
arbreEntiteGeographiqueObservationFiltreVue = new ArbreEntiteGeographiqueObservationFiltreVue(observationMediateur);
|
Line 64... |
Line 70... |
64 |
|
70 |
add(arbreEntiteGeographiqueObservationFiltreVue);
|
- |
|
71 |
arbreEntiteGeographiqueObservationFiltreVue.setHeight(350) ;
|
- |
|
72 |
arbreEntiteGeographiqueObservationFiltreVue.setWidth("100%") ;
|
65 |
arbreEntiteGeographiqueObservationFiltreVue = new ArbreEntiteGeographiqueObservationFiltreVue(observationMediateur);
|
73 |
|
Line 66... |
Line 74... |
66 |
add(arbreEntiteGeographiqueObservationFiltreVue,new AnchorLayoutData("50%"));
|
74 |
arbreDateObservationFiltreVue = new ArbreDateObservationFiltreVue(observationMediateur) ;
|
Line 67... |
Line 75... |
67 |
|
75 |
arbreDateObservationFiltreVue.setHeight(350) ;
|
68 |
arbreDateObservationFiltreVue = new ArbreDateObservationFiltreVue(observationMediateur) ;
|
76 |
add(arbreDateObservationFiltreVue);
|