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