Update on zoom management
Showing
- .idea/misc.xml 1 addition, 1 deletion.idea/misc.xml
- modeling/DIPLODOCUS/SmartCardProtocol.xml 2377 additions, 2377 deletionsmodeling/DIPLODOCUS/SmartCardProtocol.xml
- modeling/DIPLODOCUS/SmartCardProtocol_test.xml 3021 additions, 3229 deletionsmodeling/DIPLODOCUS/SmartCardProtocol_test.xml
- src/main/java/ui/GTURTLEModeling.java 2 additions, 2 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/TDiagramPanel.java 16 additions, 5 deletionssrc/main/java/ui/TDiagramPanel.java
- src/main/java/ui/TGCScalableWithInternalComponent.java 5 additions, 6 deletionssrc/main/java/ui/TGCScalableWithInternalComponent.java
- src/main/java/ui/TGComponent.java 4 additions, 2 deletionssrc/main/java/ui/TGComponent.java
Loading
Please register or sign in to comment