From 684e01bb190c7d0b95347b732aeb3cdeda4740d7 Mon Sep 17 00:00:00 2001 From: abranson Date: Tue, 18 Oct 2011 17:00:33 +0200 Subject: Module support --- source/com/c2kernel/graph/view/EditorToolBar.java | 14 +++++++------- source/com/c2kernel/graph/view/GraphPanel.java | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) (limited to 'source/com/c2kernel/graph') 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(); diff --git a/source/com/c2kernel/graph/view/GraphPanel.java b/source/com/c2kernel/graph/view/GraphPanel.java index 5edd070..012fe25 100644 --- a/source/com/c2kernel/graph/view/GraphPanel.java +++ b/source/com/c2kernel/graph/view/GraphPanel.java @@ -27,7 +27,7 @@ public class GraphPanel extends JPanel implements Observer { protected final Paint mSelectionPaint = Color.black; protected final Paint mStartPaint = Color.green; - protected final Image mResizePadImg = Resource.getImageResource("graph/resizepad.gif").getImage(); + protected final Image mResizePadImg = Resource.findImage("graph/resizepad.gif").getImage(); protected final BasicStroke mDashed = new BasicStroke(1.0f, BasicStroke.CAP_BUTT, BasicStroke.JOIN_MITER, 10.0f, new float[] { 5.0f }, 0.0f); protected GraphModelManager mGraphModelManager = null; -- cgit v1.2.3