root / trunk / extensions / extGeoreferencing / src / com / iver / cit / gvsig / gui / Panels / ZoomControlPanel.java @ 3049
History | View | Annotate | Download (16.6 KB)
1 |
package com.iver.cit.gvsig.gui.Panels; |
---|---|
2 |
|
3 |
import java.awt.BorderLayout; |
4 |
import java.awt.Canvas; |
5 |
import java.awt.Color; |
6 |
import java.awt.Component; |
7 |
import java.awt.Graphics; |
8 |
import java.awt.Graphics2D; |
9 |
import java.awt.GridBagConstraints; |
10 |
import java.awt.GridBagLayout; |
11 |
import java.awt.Image; |
12 |
import java.awt.event.ActionEvent; |
13 |
import java.awt.event.ActionListener; |
14 |
import java.awt.event.MouseEvent; |
15 |
import java.awt.event.MouseListener; |
16 |
import java.awt.event.MouseMotionListener; |
17 |
import java.awt.geom.Point2D; |
18 |
import java.awt.geom.Rectangle2D; |
19 |
import java.awt.image.BufferedImage; |
20 |
|
21 |
import javax.swing.ImageIcon; |
22 |
import javax.swing.JButton; |
23 |
import javax.swing.JOptionPane; |
24 |
import javax.swing.JPanel; |
25 |
|
26 |
import com.iver.andami.PluginServices; |
27 |
import com.iver.cit.gvsig.fmap.DriverException; |
28 |
import com.iver.cit.gvsig.fmap.ViewPort; |
29 |
import com.iver.cit.gvsig.fmap.layers.FLayer; |
30 |
import com.iver.cit.gvsig.fmap.layers.FLayers; |
31 |
import com.iver.cit.gvsig.fmap.layers.FLyrGeoRaster; |
32 |
import com.iver.cit.gvsig.fmap.layers.FLyrPoints; |
33 |
import com.iver.cit.gvsig.fmap.operations.Cancellable; |
34 |
import com.iver.cit.gvsig.gui.View; |
35 |
import com.iver.cit.gvsig.gui.Dialogs.GeoreferencingDialog; |
36 |
|
37 |
/**
|
38 |
* Panel que contiene los controles de zoom de la vista para
|
39 |
* afinar en la georreferenciaci?n.
|
40 |
*
|
41 |
* @author Nacho Brodin (brodin_ign@gva.es)
|
42 |
*
|
43 |
*/
|
44 |
public class ZoomControlPanel extends JPanel implements ActionListener{ |
45 |
private JPanel pImage = null; |
46 |
private JPanel pControls = null; |
47 |
private JButton bZoomMas = null; |
48 |
private JButton bZoomMenos = null; |
49 |
|
50 |
private int sX = 140, sY = 140; |
51 |
private CanvasZone canvas = null; |
52 |
private ViewPort viewPort = null; |
53 |
|
54 |
private int numberPoint = -1; |
55 |
|
56 |
public FLyrPoints lyrPoints = null; |
57 |
public FLyrGeoRaster lyrGeoRaster = null; |
58 |
public GeoreferencingDialog dialog = null; |
59 |
private boolean rightControl = false; |
60 |
|
61 |
|
62 |
|
63 |
/**
|
64 |
* This is the default constructor
|
65 |
*/
|
66 |
public ZoomControlPanel(boolean rightControl) { |
67 |
super();
|
68 |
this.rightControl = rightControl;
|
69 |
initialize(rightControl); |
70 |
} |
71 |
|
72 |
/**
|
73 |
* This method initializes this
|
74 |
*
|
75 |
* @return void
|
76 |
*/
|
77 |
private void initialize(boolean rightControl) { |
78 |
|
79 |
GridBagConstraints gridBagConstraints1 = new GridBagConstraints(); |
80 |
if(rightControl)
|
81 |
gridBagConstraints1.gridx = 1;
|
82 |
else
|
83 |
gridBagConstraints1.gridx = 0;
|
84 |
gridBagConstraints1.gridy = 0;
|
85 |
GridBagConstraints gridBagConstraints = new GridBagConstraints(); |
86 |
if(rightControl)
|
87 |
gridBagConstraints.gridx = 0;
|
88 |
else
|
89 |
gridBagConstraints.gridx = 1;
|
90 |
gridBagConstraints.gridy = 0;
|
91 |
this.setLayout(new GridBagLayout()); |
92 |
this.setPreferredSize(new java.awt.Dimension(175,142)); |
93 |
this.setSize(new java.awt.Dimension(175,142)); |
94 |
this.setLocation(new java.awt.Point(0,0)); |
95 |
this.add(getPImage(), gridBagConstraints);
|
96 |
this.add(getPControls(), gridBagConstraints1);
|
97 |
} |
98 |
|
99 |
/**
|
100 |
* Carga las capas de puntos y de raster georreferenciado
|
101 |
*
|
102 |
*/
|
103 |
public void loadLayer(){ |
104 |
//Cargamos la capa
|
105 |
View theView = (View) PluginServices.getMDIManager().getActiveView(); |
106 |
for(int i=0;i<theView.getMapControl().getMapContext().getLayers().getLayersCount();i++){ |
107 |
FLayer lyr = theView.getMapControl().getMapContext().getLayers().getLayer(i); |
108 |
if(lyr instanceof FLyrPoints) |
109 |
lyrPoints = (FLyrPoints)lyr; |
110 |
if( lyr instanceof FLyrGeoRaster && |
111 |
lyr.getName().startsWith("*") &&
|
112 |
lyr.isActive()) |
113 |
lyrGeoRaster = (FLyrGeoRaster)lyr; |
114 |
} |
115 |
dialog = lyrGeoRaster.getGeoDialog(); |
116 |
} |
117 |
|
118 |
/**
|
119 |
* This method initializes jPanel
|
120 |
*
|
121 |
* @return javax.swing.JPanel
|
122 |
*/
|
123 |
private JPanel getPImage() { |
124 |
if (pImage == null) { |
125 |
pImage = new JPanel(); |
126 |
BorderLayout borderLayout = new BorderLayout(); |
127 |
pImage.setLayout(borderLayout); |
128 |
pImage.setPreferredSize(new java.awt.Dimension(140,140)); |
129 |
pImage.setBorder(javax.swing.BorderFactory.createBevelBorder(javax.swing.border.BevelBorder.LOWERED)); |
130 |
if(canvas == null){ |
131 |
canvas = new CanvasZone(sX, sY, this); |
132 |
canvas.setVisible(false);
|
133 |
canvas.addMouseListener(canvas); |
134 |
canvas.addMouseMotionListener(canvas); |
135 |
} |
136 |
pImage.add(canvas, BorderLayout.CENTER);
|
137 |
|
138 |
} |
139 |
return pImage;
|
140 |
} |
141 |
|
142 |
/**
|
143 |
* This method initializes jPanel1
|
144 |
*
|
145 |
* @return javax.swing.JPanel
|
146 |
*/
|
147 |
private JPanel getPControls() { |
148 |
if (pControls == null) { |
149 |
GridBagConstraints gridBagConstraints3 = new GridBagConstraints(); |
150 |
gridBagConstraints3.gridx = 0;
|
151 |
gridBagConstraints3.insets = new java.awt.Insets(5,0,0,0); |
152 |
gridBagConstraints3.gridy = 1;
|
153 |
GridBagConstraints gridBagConstraints2 = new GridBagConstraints(); |
154 |
gridBagConstraints2.gridx = 0;
|
155 |
gridBagConstraints2.gridy = 0;
|
156 |
pControls = new JPanel(); |
157 |
pControls.setLayout(new GridBagLayout()); |
158 |
pControls.setPreferredSize(new java.awt.Dimension(33,140)); |
159 |
pControls.add(getBZoomMas(), gridBagConstraints2); |
160 |
pControls.add(getBZoomMenos(), gridBagConstraints3); |
161 |
} |
162 |
return pControls;
|
163 |
} |
164 |
|
165 |
/**
|
166 |
* This method initializes jButton
|
167 |
*
|
168 |
* @return javax.swing.JButton
|
169 |
*/
|
170 |
private JButton getBZoomMas() { |
171 |
if (bZoomMas == null) { |
172 |
bZoomMas = new JButton(); |
173 |
bZoomMas.setPreferredSize(new java.awt.Dimension(25,25)); |
174 |
bZoomMas.setIcon(new ImageIcon(getClass().getResource("/com/iver/cit/gvsig/gui/Panels/images/aumentar.png"))); |
175 |
bZoomMas.addActionListener(this);
|
176 |
} |
177 |
return bZoomMas;
|
178 |
} |
179 |
|
180 |
/**
|
181 |
* This method initializes jButton
|
182 |
*
|
183 |
* @return javax.swing.JButton
|
184 |
*/
|
185 |
private JButton getBZoomMenos() { |
186 |
if (bZoomMenos == null) { |
187 |
bZoomMenos = new JButton(); |
188 |
bZoomMenos.setPreferredSize(new java.awt.Dimension(25,25)); |
189 |
bZoomMenos.setIcon(new ImageIcon(getClass().getResource("/com/iver/cit/gvsig/gui/Panels/images/disminuir.png"))); |
190 |
bZoomMenos.addActionListener(this);
|
191 |
} |
192 |
return bZoomMenos;
|
193 |
} |
194 |
|
195 |
/**
|
196 |
* @param viewPort The viewPort to set.
|
197 |
*/
|
198 |
public void setViewPort(ViewPort viewPort) { |
199 |
this.viewPort = viewPort;
|
200 |
} |
201 |
|
202 |
/**
|
203 |
*Llama a la funci?n de pintado del canvas con los par?metros que tenga en ese momento
|
204 |
*/
|
205 |
public void draw(){ |
206 |
if(canvas != null){ |
207 |
canvas.setViewPort(this.viewPort);
|
208 |
canvas.repaint(); |
209 |
} |
210 |
} |
211 |
|
212 |
/**
|
213 |
* Asigna al canvas la propiedad de visibilidad a verdadero o falso.
|
214 |
* @param visible true para mostrar el canvas y false para ocultarlo
|
215 |
*/
|
216 |
public void setVisible(boolean visible){ |
217 |
canvas.setVisible(visible); |
218 |
if(!visible)
|
219 |
canvas.setSize(0,0); |
220 |
else{
|
221 |
canvas.setSize(sX, sY); |
222 |
} |
223 |
canvas.repaint(); |
224 |
} |
225 |
|
226 |
/**
|
227 |
* Asigna el punto sobre el que se centrar? el zoom de la minimagen
|
228 |
* @param pto
|
229 |
*/
|
230 |
public void setCenterPoint(Point2D pto){ |
231 |
canvas.setCenterPoint(pto); |
232 |
} |
233 |
|
234 |
/**
|
235 |
* Asigna el n?mero de punto que se est? tratando
|
236 |
* @param n
|
237 |
*/
|
238 |
public void setNumberPoint(int n){ |
239 |
this.numberPoint = n;
|
240 |
} |
241 |
|
242 |
/**
|
243 |
* Recupera el n?mero de punto que se est? tratando
|
244 |
* @param n
|
245 |
*/
|
246 |
public int getNumberPoint(){ |
247 |
return this.numberPoint; |
248 |
} |
249 |
|
250 |
/**
|
251 |
* Manejo de los controles zoom m?s y zoom menos
|
252 |
*/
|
253 |
public void actionPerformed(ActionEvent e) { |
254 |
if(e.getSource() == bZoomMas){
|
255 |
canvas.calcZoom(0.6);
|
256 |
canvas.repaint();//.update();
|
257 |
} |
258 |
|
259 |
if(e.getSource() == bZoomMenos){
|
260 |
canvas.calcZoom(1.8);
|
261 |
canvas.repaint();//.update();
|
262 |
} |
263 |
|
264 |
} |
265 |
|
266 |
|
267 |
/**
|
268 |
* @return Returns the rightControl.
|
269 |
*/
|
270 |
public boolean isRightControl() { |
271 |
return rightControl;
|
272 |
} |
273 |
|
274 |
/**
|
275 |
* @return Returns the lyrGeoRaster.
|
276 |
*/
|
277 |
public FLyrGeoRaster getLyrGeoRaster() {
|
278 |
return lyrGeoRaster;
|
279 |
} |
280 |
|
281 |
/**
|
282 |
* @return Returns the dialog.
|
283 |
*/
|
284 |
public GeoreferencingDialog getDialog() {
|
285 |
return dialog;
|
286 |
} |
287 |
|
288 |
/**
|
289 |
* Control que representa la zona de dibujado de la ventana. Este se encarga de
|
290 |
* repintar el contenido sobre el Graphics2D a partir del viewPort que se le pase
|
291 |
* @author Nacho Brodin (brodin_ign@gva.es)
|
292 |
*/
|
293 |
class CanvasZone extends Canvas implements MouseListener, MouseMotionListener{ |
294 |
private ZoomControlPanel zoomControl = null; |
295 |
private int ancho; |
296 |
private int alto; |
297 |
private FLayers flayers = null; |
298 |
private ViewPort viewPort = null; |
299 |
private ViewPort newViewPort = null; |
300 |
private Point2D centerPoint = null; |
301 |
private int zoom = 20; |
302 |
private boolean dragged = false; |
303 |
private Image dobleBuffer = null; |
304 |
private BufferedImage imgTmp = null; |
305 |
private Graphics dbGraphics = null; |
306 |
|
307 |
/**
|
308 |
* Puntos inicial y final para el desplazamiento del punto de control
|
309 |
*/
|
310 |
private Point2D ptoIni = null, ptoFin = null; |
311 |
private Point2D movDragged = null, initCrux = null; |
312 |
|
313 |
|
314 |
public CanvasZone( int anc,int alt, ZoomControlPanel zc) { |
315 |
zoomControl = zc; |
316 |
ancho = anc; |
317 |
alto = alt; |
318 |
|
319 |
this.setSize(ancho, alto);
|
320 |
this.setBackground(Color.WHITE); |
321 |
|
322 |
imgTmp = new BufferedImage(this.ancho, this.alto, BufferedImage.TYPE_INT_ARGB); |
323 |
dobleBuffer = new BufferedImage(this.ancho, this.alto, BufferedImage.TYPE_INT_ARGB); |
324 |
dbGraphics = dobleBuffer.getGraphics(); |
325 |
} |
326 |
|
327 |
/**
|
328 |
* Asigna el viewPort
|
329 |
* @param vp ViewPort
|
330 |
*/
|
331 |
public void setViewPort(ViewPort vp){ |
332 |
this.viewPort = vp;
|
333 |
this.initViewPort();
|
334 |
} |
335 |
|
336 |
/**
|
337 |
* Calcula el zoom dependiendo del factor de escala pasado por
|
338 |
* par?metro.
|
339 |
*/
|
340 |
public void calcZoom(double factor){ |
341 |
Rectangle2D.Double r = new Rectangle2D.Double(); |
342 |
double nuevoX = centerPoint.getX() -
|
343 |
((newViewPort.getExtent().getWidth() * factor) / 2.0);
|
344 |
double nuevoY = centerPoint.getY() -
|
345 |
((newViewPort.getExtent().getHeight() * factor) / 2.0);
|
346 |
r.x = nuevoX; |
347 |
r.y = nuevoY; |
348 |
r.width = newViewPort.getExtent().getWidth() * factor; |
349 |
r.height = newViewPort.getExtent().getHeight() * factor; |
350 |
newViewPort.setExtent(r); |
351 |
} |
352 |
|
353 |
/**
|
354 |
*Calculamos el viewPort para el zoom de la minimagen
|
355 |
*/
|
356 |
public void initViewPort(){ |
357 |
if(centerPoint != null){ |
358 |
newViewPort = this.viewPort.cloneViewPort();
|
359 |
|
360 |
//Hallamos la relaci?n entre el pixel y las WC a partir de la imagen de la capa
|
361 |
double relacionPixelWcWidth = ((viewPort.getExtent().getMaxX() - viewPort.getExtent().getMinX()) / zoom)/this.getWidth(); |
362 |
double relacionPixelWcHeight = ((viewPort.getExtent().getMaxY() - viewPort.getExtent().getMinY()) / zoom)/this.getHeight(); |
363 |
|
364 |
double wcOriginX = centerPoint.getX() - ((viewPort.getImageWidth()*relacionPixelWcWidth)/2); |
365 |
double wcOriginY = centerPoint.getY() - ((viewPort.getImageHeight()*relacionPixelWcHeight)/2); |
366 |
|
367 |
double wcDstMinX = wcOriginX;
|
368 |
double wcDstMinY = wcOriginY;
|
369 |
double wcDstMaxX = wcDstMinX + (viewPort.getImageWidth()*relacionPixelWcWidth);
|
370 |
double wcDstMaxY = wcDstMinY + (viewPort.getImageHeight()*relacionPixelWcHeight);
|
371 |
|
372 |
double wcDstWidth = wcDstMaxX - wcDstMinX;
|
373 |
double wcDstHeight = wcDstMaxY - wcDstMinY;
|
374 |
|
375 |
Rectangle2D ext = new Rectangle2D.Double(wcDstMinX, wcDstMinY, wcDstWidth, wcDstHeight); |
376 |
|
377 |
newViewPort.setExtent(ext); |
378 |
newViewPort.setImageSize(new java.awt.Dimension(this.getWidth(), this.getHeight())); |
379 |
newViewPort.setScale(); |
380 |
} |
381 |
} |
382 |
|
383 |
public void loadBuffer(){ |
384 |
|
385 |
Graphics2D gTmp = (Graphics2D)imgTmp.getGraphics(); |
386 |
|
387 |
if(!dragged){
|
388 |
dbGraphics.setColor( Color.WHITE );
|
389 |
dbGraphics.fillRect( 0,0,ancho,alto ); |
390 |
gTmp.setColor( Color.WHITE );
|
391 |
gTmp.fillRect( 0,0,ancho,alto ); |
392 |
|
393 |
try{
|
394 |
if(newViewPort != null){ |
395 |
//Si no tenemos las capas las cargamos
|
396 |
if(flayers == null){ |
397 |
View theView = (View) PluginServices.getMDIManager().getActiveView(); |
398 |
flayers = theView.getMapControl().getMapContext().getLayers(); |
399 |
} |
400 |
//dibujamos
|
401 |
flayers.draw(null, (Graphics2D) dbGraphics, newViewPort,new Cancellable() { |
402 |
public boolean isCanceled() { |
403 |
return false; |
404 |
} |
405 |
},flayers.getFMap().getScaleView()); |
406 |
flayers.draw(null, gTmp, newViewPort,new Cancellable() { |
407 |
public boolean isCanceled() { |
408 |
return false; |
409 |
} |
410 |
},flayers.getFMap().getScaleView()); |
411 |
} |
412 |
}catch (DriverException e) {
|
413 |
e.printStackTrace(); |
414 |
} |
415 |
}else{
|
416 |
double x, y;
|
417 |
if(movDragged != null){ |
418 |
x = (movDragged.getX() - ptoIni.getX()) + initCrux.getX(); |
419 |
y = (movDragged.getY() - ptoIni.getY()) + initCrux.getY(); |
420 |
}else{
|
421 |
x = ptoIni.getX() + initCrux.getX(); |
422 |
y = ptoIni.getY() + initCrux.getY(); |
423 |
} |
424 |
|
425 |
dbGraphics.drawImage(imgTmp, 0, 0, null); |
426 |
dbGraphics.setColor( Color.RED );
|
427 |
dbGraphics.drawLine((int)(x - 5), (int)y, (int)(x + 5), (int)y); |
428 |
dbGraphics.drawLine((int)x, (int)(y - 5), (int)x, (int)(y + 5)); |
429 |
} |
430 |
} |
431 |
|
432 |
|
433 |
public void update(Graphics g){ |
434 |
this.paint(g);
|
435 |
} |
436 |
|
437 |
/**
|
438 |
* Dibuja sobre el Graphics2D pasado el viewPort solicitado a
|
439 |
* la lista de capas.
|
440 |
* @param g
|
441 |
*/
|
442 |
public void paint( Graphics g ) { |
443 |
loadBuffer(); |
444 |
g.drawImage(dobleBuffer, 0, 0, null); |
445 |
} |
446 |
|
447 |
/**
|
448 |
* Asigna el punto donde se centrar? la vista de la minimagen
|
449 |
* @param pto Punto central.
|
450 |
*/
|
451 |
public void setCenterPoint(Point2D pto){ |
452 |
this.centerPoint = pto;
|
453 |
} |
454 |
|
455 |
/* (non-Javadoc)
|
456 |
* @see java.awt.event.MouseListener#mouseClicked(java.awt.event.MouseEvent)
|
457 |
*/
|
458 |
public void mouseClicked(MouseEvent ev) { |
459 |
|
460 |
} |
461 |
|
462 |
/* (non-Javadoc)
|
463 |
* @see java.awt.event.MouseListener#mouseEntered(java.awt.event.MouseEvent)
|
464 |
*/
|
465 |
public void mouseEntered(MouseEvent arg0) { |
466 |
|
467 |
} |
468 |
|
469 |
/* (non-Javadoc)
|
470 |
* @see java.awt.event.MouseListener#mouseExited(java.awt.event.MouseEvent)
|
471 |
*/
|
472 |
public void mouseExited(MouseEvent arg0) { |
473 |
|
474 |
} |
475 |
|
476 |
/**
|
477 |
* Al pulsar el rat?n sobre la minimagen permitimos que se pueda desplazar la cruz
|
478 |
*
|
479 |
*/
|
480 |
public void mousePressed(MouseEvent ev) { |
481 |
this.movDragged = ptoIni = ev.getPoint();
|
482 |
zoomControl.loadLayer(); |
483 |
initCrux = new Point2D.Double(); |
484 |
initCrux.setLocation(this.getWidth() / 2, this.getHeight() / 2); |
485 |
this.dragged = true; |
486 |
repaint(); |
487 |
} |
488 |
|
489 |
/* (non-Javadoc)
|
490 |
* @see java.awt.event.MouseListener#mouseReleased(java.awt.event.MouseEvent)
|
491 |
*/
|
492 |
public void mouseReleased(MouseEvent ev) { |
493 |
View theView = (View) PluginServices.getMDIManager().getActiveView(); |
494 |
ViewPort viewPort = theView.getMapControl().getMapContext().getViewPort(); |
495 |
ptoFin = ev.getPoint(); |
496 |
this.dragged = false; |
497 |
|
498 |
double destX = newViewPort.getExtent().getMinX() + ((ptoFin.getX() * (centerPoint.getX() - newViewPort.getExtent().getMinX())) / ptoIni.getX());
|
499 |
double destY = newViewPort.getExtent().getMinY() + (((this.getHeight() - ptoFin.getY()) * (centerPoint.getY() - newViewPort.getExtent().getMinY())) / (this.getHeight() - ptoIni.getY())); |
500 |
|
501 |
if(flayers == null) |
502 |
flayers = theView.getMapControl().getMapContext().getLayers(); |
503 |
for(int i=0;i<flayers.getLayersCount();i++){ |
504 |
FLayer lyr = flayers.getLayer(i); |
505 |
if(lyr instanceof FLyrPoints){ |
506 |
FLyrPoints lp = (FLyrPoints)lyr; |
507 |
|
508 |
if(zoomControl.isRightControl()){ //Control de actualizaci?n de pixel de imagen |
509 |
Point2D pixelImg = zoomControl.getLyrGeoRaster().world2Img(destX, destY);
|
510 |
|
511 |
if(pixelImg == null){ |
512 |
JOptionPane.showMessageDialog((Component)PluginServices.getMainFrame(), |
513 |
PluginServices.getText(this, "fuera_de_extent")); |
514 |
return;
|
515 |
} |
516 |
zoomControl.getLyrGeoRaster().updateData( Integer.valueOf(zoomControl.getDialog().getSelectPointsPanel().getTableControlerPanel().getCPoint().getSelectedItem().toString()).intValue(),
|
517 |
pixelImg, |
518 |
null,
|
519 |
zoomControl.getDialog(), |
520 |
theView, |
521 |
lp); |
522 |
}else{ //Control de actualizaci?n de coordenadas del mundo |
523 |
Point2D mapPoint = new Point2D.Double(); |
524 |
mapPoint.setLocation(destX, destY); |
525 |
zoomControl.getLyrGeoRaster().updateData( Integer.valueOf(zoomControl.getDialog().getSelectPointsPanel().getTableControlerPanel().getCPoint().getSelectedItem().toString()).intValue(),
|
526 |
null,
|
527 |
mapPoint, |
528 |
zoomControl.getDialog(), |
529 |
theView, |
530 |
lp); |
531 |
} |
532 |
} |
533 |
} |
534 |
|
535 |
|
536 |
repaint(); |
537 |
} |
538 |
|
539 |
/* (non-Javadoc)
|
540 |
* @see java.awt.event.MouseMotionListener#mouseDragged(java.awt.event.MouseEvent)
|
541 |
*/
|
542 |
public void mouseDragged(MouseEvent ev) { |
543 |
this.movDragged = ev.getPoint();
|
544 |
repaint(); |
545 |
|
546 |
} |
547 |
|
548 |
/* (non-Javadoc)
|
549 |
* @see java.awt.event.MouseMotionListener#mouseMoved(java.awt.event.MouseEvent)
|
550 |
*/
|
551 |
public void mouseMoved(MouseEvent arg0) { |
552 |
|
553 |
} |
554 |
|
555 |
} |
556 |
|
557 |
|
558 |
|
559 |
|
560 |
|
561 |
} |