Removing colors when the nocolor option is activated. Icons are also removed...
Removing colors when the nocolor option is activated. Icons are also removed on the TURTLE req diagrqm when the nocolor option is used
Showing
- bin/config.xml 2 additions, 2 deletionsbin/config.xml
- modeling/CoffeeMachine_Avatar.xml 1049 additions, 979 deletionsmodeling/CoffeeMachine_Avatar.xml
- src/avatartranslator/totpn/AVATAR2TPN.java 49 additions, 6 deletionssrc/avatartranslator/totpn/AVATAR2TPN.java
- src/myutil/IntMatrix.java 2 additions, 2 deletionssrc/myutil/IntMatrix.java
- src/ui/ColorManager.java 29 additions, 14 deletionssrc/ui/ColorManager.java
- src/ui/IconManager.java 9 additions, 1 deletionsrc/ui/IconManager.java
- src/ui/Invariant.java 46 additions, 2 deletionssrc/ui/Invariant.java
- src/ui/InvariantSynchro.java 113 additions, 0 deletionssrc/ui/InvariantSynchro.java
- src/ui/MainGUI.java 19 additions, 1 deletionsrc/ui/MainGUI.java
- src/ui/PartOfHighInvariant.java 54 additions, 0 deletionssrc/ui/PartOfHighInvariant.java
- src/ui/PartOfInvariant.java 54 additions, 0 deletionssrc/ui/PartOfInvariant.java
- src/ui/TDiagramPanel.java 9 additions, 0 deletionssrc/ui/TDiagramPanel.java
- src/ui/TGCNote.java 2 additions, 2 deletionssrc/ui/TGCNote.java
- src/ui/TGComponent.java 19 additions, 0 deletionssrc/ui/TGComponent.java
- src/ui/TGUIAction.java 1 addition, 1 deletionsrc/ui/TGUIAction.java
- src/ui/avatarsmd/AvatarSMDChoice.java 1 addition, 1 deletionsrc/ui/avatarsmd/AvatarSMDChoice.java
- src/ui/avatarsmd/AvatarSMDExpireTimer.java 1 addition, 1 deletionsrc/ui/avatarsmd/AvatarSMDExpireTimer.java
- src/ui/avatarsmd/AvatarSMDReceiveSignal.java 2 additions, 2 deletionssrc/ui/avatarsmd/AvatarSMDReceiveSignal.java
- src/ui/avatarsmd/AvatarSMDResetTimer.java 1 addition, 1 deletionsrc/ui/avatarsmd/AvatarSMDResetTimer.java
- src/ui/avatarsmd/AvatarSMDSendSignal.java 1 addition, 1 deletionsrc/ui/avatarsmd/AvatarSMDSendSignal.java
Loading
Please register or sign in to comment