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

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

Committer: srba.jiri at gmail
Date: 2019-03-13 08:15:04 UTC
mfrom: (977.3.2 remove-staticIgnoreSelect)
Revision ID: srba.jiri@gmail.com-20190313081504-t5dg68d0mouyuf02

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

files modified:
src/pipe/gui/Export.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/graphicElements/Place.java

g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING,

RenderingHints.VALUE_ANTIALIAS_ON);

if (selected && !ignoreSelection) {

if (selected) {

g2.setColor(Pipe.SELECTION_FILL_COLOUR);

pnName.setForeground(Pipe.SELECTION_LINE_COLOUR);

} else {

}

g2.fill(placeEllipse);

if (selected && !ignoreSelection) {

if (selected) {

g2.setPaint(Pipe.SELECTION_LINE_COLOUR);

} else {

g2.setPaint(Pipe.ELEMENT_LINE_COLOUR);

Older »