| 6,8 → 6,10 |
|---|
| import com.google.gwt.user.client.DOM; |
| import com.google.gwt.user.client.Event; |
| import com.google.gwt.user.client.Window; |
| import com.google.gwt.user.client.ui.HTML; |
| import com.google.gwt.user.client.ui.Image; |
| import com.gwtext.client.widgets.Panel; |
| import com.gwtext.client.widgets.ToolTip; |
| import com.gwtext.client.widgets.Window.CloseAction; |
| |
| /** |
| 34,6 → 36,7 |
|---|
| |
| private com.gwtext.client.widgets.Window imgZoom = new com.gwtext.client.widgets.Window("Agrandissement") ; |
| |
| private ToolTip tp = new ToolTip("<div class=\"x-tooltip-help\"> Double cliquez pour agrandir l'image </div>") ; |
| |
| /** |
| * Constructeur sans argument (privé car ne doit pas être utilisé) |
| 69,7 → 72,9 |
|---|
| |
| }; |
| |
| tp.applyTo(image.getElement()) ; |
| |
| |
| this.setCls("x-image-gen") ; |
| image.setPixelSize(150, 150); |
| add(image); |