4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.5 $ |
* @version $Revision: 1.6 $ |
* |
* Last modification: $Date: 2003/07/23 19:42:37 $ |
* $Id: ImagePanel.java,v 1.5 2003/07/23 19:42:37 ioklasse Exp $ |
* Last modification: $Date: 2003/07/23 23:32:15 $ |
* $Id: ImagePanel.java,v 1.6 2003/07/23 23:32:15 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
26,32 → 26,32 |
* |
* @author Yulia Klassen, Viktoriya Zudova |
* |
* @version $Revision: 1.5 $ Last modification: $Date: 2003/07/23 19:42:37 $ |
* @version $Revision: 1.6 $ Last modification: $Date: 2003/07/23 23:32:15 $ |
*/ |
class ImagePanel extends JPanel { |
|
/* The current image. */ |
/** The current image. */ |
private Image image; |
|
/* The dx-shift of an image in relation to the left top corner of plugin panel. */ |
/** The dx-shift of an image in relation to the left top corner of plugin panel. */ |
private int dx; |
|
/* The dy-shift of an image in realtion to the left top corner of plugin panel. */ |
/** The dy-shift of an image in realtion to the left top corner of plugin panel. */ |
private int dy; |
|
/* The width of the image. */ |
/** The width of the image. */ |
private int imageWidth; |
|
/* The height of the image. */ |
/** The height of the image. */ |
private int imageHeight; |
|
/* The scale coef of the image. */ |
/** The scale coef of the image. */ |
private double coef; |
|
/* The list of all regions. */ |
/** The list of all regions. */ |
private List regions; |
|
/* The selected region. */ |
/** The selected region. */ |
private Region selectedRegion; |
|
/** |