4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.25 $ |
* @version $Revision: 1.26 $ |
* |
* Last modification: $Date: 2003/07/23 18:32:04 $ |
* $Id: RegionEditorPlugin.java,v 1.25 2003/07/23 18:32:04 cstollen Exp $ |
* Last modification: $Date: 2003/07/23 20:09:50 $ |
* $Id: RegionEditorPlugin.java,v 1.26 2003/07/23 20:09:50 ioklasse Exp $ |
*/ |
|
package src.plugins.regionEditorPlugin; |
60,7 → 60,7 |
* |
* @author Yulia Klassen, Viktoriya Zudova |
* |
* @version $Revision: 1.25 $ Last modification: $Date: 2003/07/23 18:32:04 $ |
* @version $Revision: 1.26 $ Last modification: $Date: 2003/07/23 20:09:50 $ |
*/ |
public class RegionEditorPlugin |
extends JPanel |
69,76 → 69,76 |
/** Name of the plugin, used in method <code>firePluginChangedElement</code> */ |
final private String pluginName = "RegionEditor"; |
|
/* The current image. */ |
/** The current image. */ |
private Image image; |
|
/* Label where the name of image is. */ |
/** Label where the name of image is. */ |
private JLabel imageNameLabel = new JLabel(" Image Name "); |
|
/* A text field to enter the name of an image. */ |
/** A text field to enter the name of an image. */ |
private JTextField imageNameField = new JTextField(); |
|
/* A button "Confirm" to change the image name in the node. */ |
/** A button "Confirm" to change the image name in the node. */ |
private JButton confirmButton = new JButton("Confirm"); |
|
/* Label where the name of region is. */ |
/** Label where the name of region is. */ |
private JLabel regionNameLabel = new JLabel(" Region Name "); |
|
/* A text field to enter the name of region. */ |
/** A text field to enter the name of region. */ |
private JTextField regionNameField = new JTextField(); |
|
/* A button "Confirm" to change the region name. */ |
/** A button "Confirm" to change the region name. */ |
private JButton regionConfirmButton = new JButton("Confirm"); |
|
/* An image panel to show an image in. */ |
/** An image panel to show an image in. */ |
private ImagePanel imagePanel; |
|
/* Stores a reference to the GUI. */ |
/** Stores a reference to the GUI. */ |
private GuiInterface gui; |
|
/* Stores a reference to the event listener. */ |
/** Stores a reference to the event listener. */ |
private OurEventListener ourEventListener; |
|
/* The image's name from the attributes of the selected node. */ |
/** The image's name from the attributes of the selected node. */ |
private String imageName; |
|
/* The location of the image. */ |
/** The location of the image. */ |
private String imageUrl; |
|
/* The current file. */ |
/** The current file. */ |
private File currentFile; |
|
/* The node given from the basis program. */ |
/** The node given from the basis program. */ |
private Node oldNode; |
|
/* The node returned to the basis program. */ |
/** The node returned to the basis program. */ |
private Node changedNode; |
|
/* The list of all regions. */ |
/** The list of all regions. */ |
private List regions = new ArrayList(); |
|
/* The selected region. */ |
/** The selected region. */ |
private Region selectedRegion; |
|
/* The normal cursor. */ |
/** The normal cursor. */ |
private Cursor normalCursor = new Cursor(Cursor.DEFAULT_CURSOR); |
|
/* The moving cursor. */ |
/** The moving cursor. */ |
private Cursor moveCursor = new Cursor(Cursor.MOVE_CURSOR); |
|
/* The resizing 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. */ |
/** 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. */ |
/** The resizing flag: true if some region is resizing at the moment. */ |
private boolean inResize = false; |
|
/* The region popup menu. */ |
/** The region popup menu. */ |
private JPopupMenu popup = new JPopupMenu(); |
|
/* The popup menu item to delete the region. */ |
/** 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. */ |