151
151
public void paintComponent(Graphics g) {
152
152
super.paintComponent(g);
153
if (!ignoreSelection) {
154
Graphics2D g2 = (Graphics2D) g;
156
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
157
RenderingHints.VALUE_ANTIALIAS_ON);
158
g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL,
159
RenderingHints.VALUE_STROKE_NORMALIZE);
161
if (pointType == CURVED) {
162
shape = new Ellipse2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
164
shape = new Rectangle2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
168
g2.setPaint(Pipe.SELECTION_FILL_COLOUR);
170
g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
173
g2.setPaint(Pipe.ELEMENT_FILL_COLOUR);
175
g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
154
Graphics2D g2 = (Graphics2D) g;
156
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
157
RenderingHints.VALUE_ANTIALIAS_ON);
158
g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL,
159
RenderingHints.VALUE_STROKE_NORMALIZE);
161
if (pointType == CURVED) {
162
shape = new Ellipse2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
164
shape = new Rectangle2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
168
g2.setPaint(Pipe.SELECTION_FILL_COLOUR);
170
g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
173
g2.setPaint(Pipe.ELEMENT_FILL_COLOUR);
175
g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
181
181
public int getIndex() {