46,6 → 46,11 |
private int hauteurContenu = 0; |
private int largeurContenu = 0; |
|
// contiennent les coordonnées actuelles du scroll |
// pour le rétablir une fois la fenêtre fermée |
private int topFenetre = 0; |
private int gaucheFenetre = 0; |
|
private Timer timerPlacement = null; |
|
public HTMLPanel getOverlay() { |
162,6 → 167,11 |
|
@Override |
public void surOuvertureFenetre() { |
|
// enregistrement des coordonnées des scrool |
topFenetre = Window.getScrollTop(); |
gaucheFenetre = Window.getScrollLeft(); |
|
// scroll désactivé pour ne pas fausser le positionnement des boutons |
Window.enableScrolling(false); |
// Pas trouvé mieux que le timer pour bien redimensionner |
190,6 → 200,8 |
@Override |
public void surFermetureFenetre() { |
Window.enableScrolling(true); |
// replacement de la fenêtre à la position de scroll d'origine |
Window.scrollTo(gaucheFenetre, topFenetre); |
timerPlacement.cancel(); |
} |
|