← Back to branch summary

~tapaal-contributor/tapaal/places-with-same-name-shared-1801728

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

  • Committer: Jiri Srba
  • Date: 2018-08-13 08:17:56 UTC
  • mfrom: (970.1.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20180813081756-c2jptbl0odoh8d3w
merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java
217
217
 
218
218
                if (selected && !ignoreSelection) {
219
219
                        g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
 
220
                        this.label.setForeground(Pipe.SELECTION_LINE_COLOUR);
220
221
                } else {
221
222
                        g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
 
223
                        this.label.setForeground(Pipe.ELEMENT_LINE_COLOUR);
222
224
                }
223
225
 
224
226
                g2.setStroke(new BasicStroke(0.01f * zoom));
235
237
 
236
238
                if (selected && !ignoreSelection) {
237
239
                        g2.setPaint(Pipe.SELECTION_LINE_COLOUR);
 
240
                        this.label.setForeground(Pipe.SELECTION_LINE_COLOUR);
238
241
                } else {
239
242
                        g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);
 
243
                        this.label.setForeground(Pipe.ELEMENT_LINE_COLOUR);
240
244
                }
241
245
 
242
246
                g2.setStroke(new BasicStroke(0.8f));