| 81,12 → 81,10 |
|---|
| public ArbreEntiteGeographiqueObservationFiltreVue(ObservationMediateur obs) { |
| |
| // on crée le panel |
| super(); |
| super("Localité"); |
| |
| this.observationMediateur = obs; |
| |
| // on crée le conteneur de l'arbre |
| Label labelRecherche = new Label("Localités :"); |
| arbreEntitesGeographiques = new TreePanel(); |
| |
| this.setPaddings(5); |
| 95,7 → 93,6 |
|---|
| this.setCollapsible(true); |
| this.setAutoWidth(true); |
| |
| add(labelRecherche); |
| |
| // on ajoute les listeners |
| ajouterListenersPanel(); |
| 116,13 → 113,13 |
|---|
| // on interdit le drag and drop dans l'arbre |
| arbreEntitesGeographiques.setEnableDD(false); |
| arbreEntitesGeographiques.setId("x-view-tree-filter"); |
| arbreEntitesGeographiques.setAutoWidth(false); |
| arbreEntitesGeographiques.setAutoScroll(true); |
| arbreEntitesGeographiques.setBorder(false); |
| // arbreEntitesGeographiques.setAutoWidth(false); |
| // arbreEntitesGeographiques.setAutoScroll(true); |
| // arbreEntitesGeographiques.setBorder(false); |
| |
| // on crée une racine pour l'arbre |
| TreeNode root = new TreeNode("Tags"); |
| root.setId("racine_filtre"); |
| TreeNode root = new TreeNode("Localité"); |
| root.setId("racine_entite"); |
| String[] usObject = { "Localités", "racine" }; |
| root.setUserObject(usObject); |
| |
| 130,8 → 127,6 |
|---|
| arbreEntitesGeographiques.setRootVisible(true); |
| arbreEntitesGeographiques.setBorder(false); |
| |
| // on met en forme le layout |
| //((Panel) component).add(arbreEntitesGeographiques); |
| add(arbreEntitesGeographiques); |
| |
| // on ajoute les listeners d'évenements |
| 150,7 → 145,7 |
|---|
| |
| |
| /** |
| * ajoute les listeners pour les boutons et le cochage des mots clés |
| * ajoute les listeners pour les boutons et le cochage des entites |
| */ |
| private void ajouterListeners() { |
| |
| 241,7 → 236,8 |
|---|
| |
| // l'état du filtre est réinitialisé |
| filtreModifie = false; |
| show() ; |
| //show() ; |
| doLayout(); |
| } |
| |
| |