171,8 → 171,7 |
timerPlacement = new Timer() { |
@Override |
public void run() { |
// on vérifie si la taille du contenu a changé |
if(tailleDuContenuModifie()) { |
if(tailleDuContenuEstModifiee()) { |
// et on repositionne les boutons |
gererDimensions(); |
} |
181,7 → 180,7 |
timerPlacement.scheduleRepeating(30); |
} |
|
private boolean tailleDuContenuModifie() { |
private boolean tailleDuContenuEstModifiee() { |
UIObject overlayContenuUi = overlayContenu.getWidget(0); |
return overlayContenuUi != null |
&& (overlayContenuUi.getOffsetHeight() != hauteurContenu |