~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/ArcPathPoint.java

merged in branch lp:~yrke/tapaal/remove-staticIgnoreSelect that changes the behaviour of the export feature (exports also animator configuration, selected transitions etc)

Show diffs side-by-side

added added

removed removed

Lines of Context:
150
150
        @Override
151
151
        public void paintComponent(Graphics g) {
152
152
                super.paintComponent(g);
153
 
                if (!ignoreSelection) {
154
 
                        Graphics2D g2 = (Graphics2D) g;
155
 
 
156
 
                        g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
157
 
                                        RenderingHints.VALUE_ANTIALIAS_ON);
158
 
                        g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL,
159
 
                                        RenderingHints.VALUE_STROKE_NORMALIZE);
160
 
 
161
 
                        if (pointType == CURVED) {
162
 
                                shape = new Ellipse2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
163
 
                        } else {
164
 
                                shape = new Rectangle2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
165
 
                        }
166
 
 
167
 
                        if (selected) {
168
 
                                g2.setPaint(Pipe.SELECTION_FILL_COLOUR);
169
 
                                g2.fill(shape);
170
 
                                g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
171
 
                                g2.draw(shape);
172
 
                        } else {
173
 
                                g2.setPaint(Pipe.ELEMENT_FILL_COLOUR);
174
 
                                g2.fill(shape);
175
 
                                g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
176
 
                                g2.draw(shape);
177
 
                        }
178
 
                }
 
153
 
 
154
                Graphics2D g2 = (Graphics2D) g;
 
155
 
 
156
                g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
 
157
                                RenderingHints.VALUE_ANTIALIAS_ON);
 
158
                g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL,
 
159
                                RenderingHints.VALUE_STROKE_NORMALIZE);
 
160
 
 
161
                if (pointType == CURVED) {
 
162
                        shape = new Ellipse2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
 
163
                } else {
 
164
                        shape = new Rectangle2D.Double(0, 0, 2 * SIZE, 2 * SIZE);
 
165
                }
 
166
 
 
167
                if (selected) {
 
168
                        g2.setPaint(Pipe.SELECTION_FILL_COLOUR);
 
169
                        g2.fill(shape);
 
170
                        g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
 
171
                        g2.draw(shape);
 
172
                } else {
 
173
                        g2.setPaint(Pipe.ELEMENT_FILL_COLOUR);
 
174
                        g2.fill(shape);
 
175
                        g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
 
176
                        g2.draw(shape);
 
177
                }
 
178
 
179
179
        }
180
180
 
181
181
        public int getIndex() {