4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.19 $ |
* @version $Revision: 1.20 $ |
* |
* Last modification: $Date: 2003/07/21 19:52:33 $ |
* $Id: RegionEditorPlugin.java,v 1.19 2003/07/21 19:52:33 smcsporr Exp $ |
* Last modification: $Date: 2003/07/23 10:19:10 $ |
* $Id: RegionEditorPlugin.java,v 1.20 2003/07/23 10:19:10 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
40,8 → 40,8 |
import org.w3c.dom.Node; |
|
import javax.swing.JButton; |
import javax.swing.JFileChooser; |
import javax.swing.JLabel; |
//import javax.swing.JFileChooser; |
//import javax.swing.JLabel; |
import javax.swing.JPanel; |
import javax.swing.JTextField; |
import javax.swing.tree.TreePath; |
56,10 → 56,9 |
/** |
* The <code>RegionEditor</code> plugin shows and edits image regions. |
* |
* @author Yulia Klassen |
* @author Viktoriya Zudova |
* @author Yulia Klassen, Viktoriya Zudova |
* |
* @version $Revision: 1.19 $ Last modification: $Date: 2003/07/21 19:52:33 $ |
* @version $Revision: 1.20 $ Last modification: $Date: 2003/07/23 10:19:10 $ |
*/ |
public class RegionEditorPlugin |
extends JPanel |
74,11 → 73,13 |
/* A text field to enter the name of an image. */ |
private JTextField imageNameField = new JTextField(); |
|
/* A button "Confirm" to change the image name and url in the node. */ |
/* A button "Confirm" to change the image name in the node. */ |
private JButton confirmButton = new JButton("Confirm"); |
|
/* A text field to enter the name of region. */ |
private JTextField regionNameField = new JTextField(); |
|
/* A button "Confirm" to change the region name. */ |
private JButton regionConfirmButton = new JButton("Confirm"); |
|
/* An image panel to show an image in. */ |
105,31 → 106,31 |
/* The node returned to the basis program. */ |
private Node changedNode; |
|
/* */ |
/* The list of all regions. */ |
private List regions = new ArrayList(); |
|
/* */ |
/* The selected region. */ |
private Region selectedRegion; |
|
/* */ |
/* The normal cursor. */ |
private Cursor normalCursor = new Cursor(Cursor.DEFAULT_CURSOR); |
|
/* */ |
/* The moving cursor. */ |
private Cursor moveCursor = new Cursor(Cursor.MOVE_CURSOR); |
|
/* */ |
/* The resizing cursor. */ |
private Cursor resizeCursor = new Cursor(Cursor.SE_RESIZE_CURSOR); |
|
/* */ |
/* The moving flag: true if some region is moving at the moment. */ |
private boolean inMove = false; |
|
/* */ |
/* The resizing flag: true if some region is resizing at the moment. */ |
private boolean inResize = false; |
|
/* */ |
/* The region popup menu. */ |
private JPopupMenu popup = new JPopupMenu(); |
|
/* */ |
/* The popup menu item to delete the region. */ |
private JMenuItem deleteSelectedItem = new JMenuItem("Delete the region"); |
|
/** The class constructor creates all elements for the RegionEditor plugin. */ |
381,7 → 382,7 |
/** |
* Reaction of all buttons. |
* |
* @param e mouse event |
* @param e some event |
*/ |
public void actionPerformed(ActionEvent e) |
{ |