| 30,6 → 30,8 |
|---|
| import com.gwtext.client.widgets.tree.event.TreeNodeListenerAdapter; |
| import com.gwtext.client.widgets.tree.event.TreePanelListenerAdapter; |
| import com.gwtext.client.core.EventObject; |
| import com.gwtext.client.core.Ext; |
| import com.gwtext.client.core.ExtElement; |
| |
| /** |
| * fenêtre de recherche affichant l'arbre des mots clés en lecture et un bouton |
| 178,6 → 180,8 |
|---|
| case 0: |
| if(!arbreCharge) |
| { |
| ExtElement masked = Ext.get(arbreDonneesDates.getId()); |
| masked.mask("Chargement"); |
| arbreCharge = true ; |
| observationMediateur.obtenirDatesObservation() ; |
| } |
| 214,6 → 218,8 |
|---|
| public void onExpand(Node node) { |
| if(!arbreCharge) |
| { |
| ExtElement masked = Ext.get(arbreDonneesDates.getId()); |
| masked.mask("Chargement"); |
| observationMediateur.obtenirDatesObservation() ; |
| arbreCharge = true ; |
| } |
| 354,6 → 360,9 |
|---|
| // on signale que oui |
| estInstancie = true; |
| } |
| |
| ExtElement masked = Ext.get(arbreDonneesDates.getId()); |
| masked.unmask(); |
| |
| // l'état du filtre est réinitialisé |
| filtreModifie = false; |