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(); |
} |
} |
}; |