-
Committer:
lsaid
-
Date:
2020-07-23 12:47:56 UTC
-
Revision ID:
lena.said@hotmail.com-20200723124756-t4ca9xfly64atoer
Changed the dialog message when creating a new net. Changed the text in the toolbar. When saving, the time/game info is placed on each tapn instead of the entire net. Removed global lense information from TimedArcPetriNet. Made lense information invisble for guiframe again.