| 96,7 → 96,7 |
|---|
| Window.addResizeHandler(new ResizeHandler() { |
| @Override |
| public void onResize(ResizeEvent event) { |
| gererDimensions(); |
| gererDimensionsEtPositionnerBoutons(); |
| } |
| }); |
| } |
| 147,7 → 147,7 |
|---|
| overlayContenu.clear(); |
| } |
| |
| private void gererDimensions() { |
| private void gererDimensionsEtPositionnerBoutons() { |
| |
| UIObject overlayContenuUi = overlayContenu.getWidget(); |
| |
| 177,7 → 177,7 |
|---|
| public void surOuvertureFenetre() { |
| Window.enableScrolling(false); |
| // Pas trouvé mieux que le timer pour bien redimensionner |
| // à voir si l'existe une meilleure solution qui n'oblige pas |
| // à voir s il existe une meilleure solution qui n'oblige pas |
| // par avance à connaitre le type d'objet contenu dans l'overlayContenu |
| // ou bien la taille de la fenetre |
| timerPlacement = new Timer() { |
| 184,8 → 184,8 |
|---|
| @Override |
| public void run() { |
| if(tailleDuContenuEstModifiee()) { |
| // et on repositionne les boutons |
| gererDimensions(); |
| // On repositionne les boutons |
| gererDimensionsEtPositionnerBoutons(); |
| } |
| } |
| }; |