diff options
| author | abranson <andrew.branson@cern.ch> | 2011-11-23 10:35:53 +0100 |
|---|---|---|
| committer | abranson <andrew.branson@cern.ch> | 2011-11-23 10:35:53 +0100 |
| commit | 63219230f343598b449c817890b730a2f02edc49 (patch) | |
| tree | ccc56f742e9e468b0e3551ca2c40c4a4be8e6772 /source/com/c2kernel/graph/view/EditorToolBar.java | |
| parent | e7b92e1640be005db77804f018e3cdbc2aff90cf (diff) | |
| parent | 349144cc196e85a8ee0383be4646f5932fe63146 (diff) | |
Merge branch 'modules'2.3
Diffstat (limited to 'source/com/c2kernel/graph/view/EditorToolBar.java')
| -rw-r--r-- | source/com/c2kernel/graph/view/EditorToolBar.java | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/source/com/c2kernel/graph/view/EditorToolBar.java b/source/com/c2kernel/graph/view/EditorToolBar.java index f84b084..61c7409 100644 --- a/source/com/c2kernel/graph/view/EditorToolBar.java +++ b/source/com/c2kernel/graph/view/EditorToolBar.java @@ -62,15 +62,15 @@ public class EditorToolBar extends Box implements Printable protected JComboBox mEdgeTypeBox = new JComboBox();
// Mode buttons
protected ButtonGroup mModeButtonGroup = new ButtonGroup();
- protected JToggleButton mVertexModeButton = new JToggleButton(Resource.getImageResource("graph/newvertex.png"));
- protected JToggleButton mSelectModeButton = new JToggleButton(Resource.getImageResource("graph/selection.gif"));
- protected JToggleButton mEdgeModeButton = new JToggleButton(Resource.getImageResource("graph/edge.png"));
+ protected JToggleButton mVertexModeButton = new JToggleButton(Resource.findImage("graph/newvertex.png"));
+ protected JToggleButton mSelectModeButton = new JToggleButton(Resource.findImage("graph/selection.gif"));
+ protected JToggleButton mEdgeModeButton = new JToggleButton(Resource.findImage("graph/edge.png"));
// Normal buttons
protected JButton[] mOtherButtons = null;
- protected JButton mStartButton = new JButton(Resource.getImageResource("graph/start.png"));
- protected JButton mDeleteButton = new JButton(Resource.getImageResource("graph/delete.png"));
- protected JButton mPrintButton = new JButton(Resource.getImageResource("graph/print.png"));
- protected JButton mCopyButton = new JButton(Resource.getImageResource("graph/copy.png"));
+ protected JButton mStartButton = new JButton(Resource.findImage("graph/start.png"));
+ protected JButton mDeleteButton = new JButton(Resource.findImage("graph/delete.png"));
+ protected JButton mPrintButton = new JButton(Resource.findImage("graph/print.png"));
+ protected JButton mCopyButton = new JButton(Resource.findImage("graph/copy.png"));
// Controllers
protected StartVertexController mStartVertexController = new StartVertexController();
protected DeletionController mDeletionController = new DeletionController();
|
