~tapaal-contributor/tapaal/autodetect-lens-check2

Viewing changes to src/pipe/gui/GuiFrameActions.java

Committer: srba.jiri at gmail
Date: 2020-08-03 14:00:57 UTC
mfrom: (1067.2.23 tapaalSaveLoad)
Revision ID: srba.jiri@gmail.com-20200803140057-ut4f08qccu63dv24

merged in lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties introducing lense (timed,game) for future implementation of net projections

files modified:
src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/io/LoadedModel.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/io/batchProcessing/BatchProcessingLoader.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/pipe/dataLayer/Template.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameActions.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/widgets/NewTAPNPanel.java

src/pipe/gui/widgets/QueryPane.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/GuiFrameActions.java

void setShowZeroToInfinityIntervalsSelected(boolean b);

void setShowTokenAgeSelected(boolean b);

void setFeatureInfoText(String s);

}

Older »