Update on AVATAR (new icons, new choice operator at SMD)
Possibility to select - as an option and in the config.xml file - the port number used by the launcher
Showing
- src/Main.java 19 additions, 2 deletionssrc/Main.java
- src/RTLLauncher.java 16 additions, 0 deletionssrc/RTLLauncher.java
- src/avatartranslator/touppaal/AVATAR2UPPAAL.java 9 additions, 7 deletionssrc/avatartranslator/touppaal/AVATAR2UPPAAL.java
- src/launcher/RshClient.java 8 additions, 1 deletionsrc/launcher/RshClient.java
- src/launcher/RshServer.java 4 additions, 1 deletionsrc/launcher/RshServer.java
- src/ui/AvatarDesignPanelTranslator.java 10 additions, 0 deletionssrc/ui/AvatarDesignPanelTranslator.java
- src/ui/ConfigurationTTool.java 16 additions, 0 deletionssrc/ui/ConfigurationTTool.java
- src/ui/IconManager.java 3 additions, 1 deletionsrc/ui/IconManager.java
- src/ui/MainGUI.java 2 additions, 0 deletionssrc/ui/MainGUI.java
- src/ui/TGComponentManager.java 7 additions, 1 deletionsrc/ui/TGComponentManager.java
- src/ui/TGUIAction.java 4 additions, 2 deletionssrc/ui/TGUIAction.java
- src/ui/avatarsmd/AvatarSMDPanel.java 5 additions, 5 deletionssrc/ui/avatarsmd/AvatarSMDPanel.java
- src/ui/avatarsmd/AvatarSMDReceiveSignal.java 2 additions, 0 deletionssrc/ui/avatarsmd/AvatarSMDReceiveSignal.java
- src/ui/avatarsmd/AvatarSMDSendSignal.java 2 additions, 0 deletionssrc/ui/avatarsmd/AvatarSMDSendSignal.java
- src/ui/avatarsmd/AvatarSMDToolBar.java 17 additions, 2 deletionssrc/ui/avatarsmd/AvatarSMDToolBar.java
- src/ui/images/avatarbdcomp.gif 0 additions, 0 deletionssrc/ui/images/avatarbdcomp.gif
- src/ui/images/avatarbdlink.gif 0 additions, 0 deletionssrc/ui/images/avatarbdlink.gif
- src/ui/images/avatarblock.gif 0 additions, 0 deletionssrc/ui/images/avatarblock.gif
- src/ui/images/avatardatatype.gif 0 additions, 0 deletionssrc/ui/images/avatardatatype.gif
- src/ui/images/avatarstate.gif 0 additions, 0 deletionssrc/ui/images/avatarstate.gif
Loading
Please register or sign in to comment