| 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. */ |