| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.29 $ |
| * @version $Revision: 1.30 $ |
| * |
| * Last modification: $Date: 2003/07/25 15:54:23 $ |
| * $Id: RegionEditorPlugin.java,v 1.29 2003/07/25 15:54:23 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/25 17:32:33 $ |
| * $Id: RegionEditorPlugin.java,v 1.30 2003/07/25 17:32:33 ioklasse Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 62,7 → 62,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.29 $ Last modification: $Date: 2003/07/25 15:54:23 $ |
| * @version $Revision: 1.30 $ Last modification: $Date: 2003/07/25 17:32:33 $ |
| */ |
| public class RegionEditorPlugin |
| extends JPanel |
| 578,10 → 578,9 |
|---|
| |
| if(x >= 0 && y >= 0 && x < image.getWidth(null) && y < image.getHeight(null)) { |
| inResize = true; |
| Region region = new Region(null, new Rectangle( |
| Region region = new Region("", new Rectangle( |
| (int)((e.getX() - imagePanel.getDx()) * imagePanel.getCoef()), |
| (int)((e.getY() - imagePanel.getDy()) * imagePanel.getCoef()), 1, 1)); |
| region.setSavedNameOfNode("COORDS"); |
| setSelectedRegion(region); |
| addRegion(selectedRegion); |
| } |