| 7,7 → 7,6 |
|---|
| import com.google.gwt.user.client.Event; |
| import com.google.gwt.user.client.Window; |
| import com.google.gwt.user.client.ui.Image; |
| import com.gwtext.client.core.Function; |
| import com.gwtext.client.widgets.Panel; |
| import com.gwtext.client.widgets.ToolTip; |
| |
| 61,6 → 60,7 |
|---|
| imgZoom.setCloseAction(com.gwtext.client.widgets.Window.HIDE) ; |
| image = new Image() { |
| |
| @Override |
| public void onBrowserEvent(Event event) { |
| |
| // lors du double clic |
| 97,6 → 97,7 |
|---|
| * |
| */ |
| |
| @Override |
| public void rafraichir(Object nouvelleDonnees,boolean repandreRaffraichissement) { |
| |
| // si on recoit une String contenant une URL |