| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.4 $ |
| * @version $Revision: 1.5 $ |
| * |
| * Last modification: $Date: 2003/07/23 11:58:09 $ |
| * $Id: ImagePanel.java,v 1.4 2003/07/23 11:58:09 ioklasse Exp $ |
| * Last modification: $Date: 2003/07/23 19:42:37 $ |
| * $Id: ImagePanel.java,v 1.5 2003/07/23 19:42:37 ioklasse Exp $ |
| */ |
| |
| package src.plugins.regionEditorPlugin; |
| 26,7 → 26,7 |
|---|
| * |
| * @author Yulia Klassen, Viktoriya Zudova |
| * |
| * @version $Revision: 1.4 $ Last modification: $Date: 2003/07/23 11:58:09 $ |
| * @version $Revision: 1.5 $ Last modification: $Date: 2003/07/23 19:42:37 $ |
| */ |
| class ImagePanel extends JPanel { |
| |
| 110,7 → 110,7 |
|---|
| for(int i = 0; i < regions.size(); i++) { |
| Region region = (Region)regions.get(i); |
| |
| if(region != selectedRegion){// the selected one will be drawn later |
| if(region != selectedRegion){ // The selected one will be drawn later. |
| Rectangle rect = region.getRect(); |
| |
| g.drawRect( |