← Back to branch summary

~tapaal-contributor/tapaal/refactor-remove-queries

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2020-08-11 11:43:41 UTC
  • mfrom: (1074.2.15 change-net-feature)
  • Revision ID: srba.jiri@gmail.com-20200811114341-22xuy3a9iwgwvdxb
merged in lp:~tapaal-contributor/tapaal/change-net-features allowing to change net features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrameActions.java
44
44
    void setShowZeroToInfinityIntervalsSelected(boolean b);
45
45
    void setShowTokenAgeSelected(boolean b);
46
46
 
47
 
    void setFeatureInfoText(String s);
 
47
    void setFeatureInfoText(boolean[] features);
48
48
}