summaryrefslogtreecommitdiff
path: root/source/com/c2kernel/graph/view/EditorToolBar.java
diff options
context:
space:
mode:
authorabranson <andrew.branson@cern.ch>2011-08-02 22:10:28 +0200
committerabranson <andrew.branson@cern.ch>2011-08-02 22:10:28 +0200
commit5664fd4644c78f4571a1a72e6b9f0511fb10720a (patch)
tree7be1c346d1d001bf6b079089f995a60c52b955c1 /source/com/c2kernel/graph/view/EditorToolBar.java
parent29bbf451a22916d39017ec1a3f53f4e0f0e65ee0 (diff)
Finished move to generics. Enforced 1.6 compliance for now. No errors or
warnings :)
Diffstat (limited to 'source/com/c2kernel/graph/view/EditorToolBar.java')
-rw-r--r--[-rwxr-xr-x]source/com/c2kernel/graph/view/EditorToolBar.java6
1 files changed, 3 insertions, 3 deletions
diff --git a/source/com/c2kernel/graph/view/EditorToolBar.java b/source/com/c2kernel/graph/view/EditorToolBar.java
index 2730ab7..e01056f 100755..100644
--- a/source/com/c2kernel/graph/view/EditorToolBar.java
+++ b/source/com/c2kernel/graph/view/EditorToolBar.java
@@ -56,9 +56,9 @@ public class EditorToolBar extends Box implements Printable
}
}
// Vertex types and ids
- protected JComboBox mVertexTypeBox = new JComboBox();
+ protected JComboBox<TypeNameAndConstructionInfo> mVertexTypeBox = new JComboBox<TypeNameAndConstructionInfo>();
// Edge types and ids
- protected JComboBox mEdgeTypeBox = new JComboBox();
+ protected JComboBox<TypeNameAndConstructionInfo> mEdgeTypeBox = new JComboBox<TypeNameAndConstructionInfo>();
// Mode buttons
protected ButtonGroup mModeButtonGroup = new ButtonGroup();
protected JToggleButton mVertexModeButton = new JToggleButton(Resource.getImageResource("graph/newvertex.png"));
@@ -74,7 +74,7 @@ public class EditorToolBar extends Box implements Printable
protected StartVertexController mStartVertexController = new StartVertexController();
protected DeletionController mDeletionController = new DeletionController();
// Editor mode listeners
- protected Vector mListenerVector = new Vector(10, 10);
+ protected Vector<EditorModeListener> mListenerVector = new Vector<EditorModeListener>(10, 10);
public EditorToolBar(boolean edgeCreationMode, // True if edges can be created
JButton[] otherButtons, GraphPanel graphP)
{