Closed frosch123 closed 1 year ago
Fixes #290.
Currently there are 3 replacenew-types to replace signal graphics:
replacenew
PRE_SIGNAL
PRE_SIGNAL_SEMAPHORE
PRE_SIGNAL_SEMAPHORE_PBS
They all create the same code.
Add a new type SIGNALS, not to be confused with the existing NEW_SIGNALS. The 3 old types will be deprecated and removed from the documentation.
SIGNALS
NEW_SIGNALS
Motivation
Fixes #290.
Currently there are 3
replacenew-types to replace signal graphics:PRE_SIGNALPRE_SIGNAL_SEMAPHOREPRE_SIGNAL_SEMAPHORE_PBSThey all create the same code.
Description
Add a new type
SIGNALS, not to be confused with the existingNEW_SIGNALS. The 3 old types will be deprecated and removed from the documentation.