| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README | 2012-08-02 | 941 Bytes | |
| PIPEv4.2_src.zip | 2012-08-02 | 29.3 MB | |
| PIPEv4.2.zip | 2012-08-02 | 29.7 MB | |
| Totals: 3 Items | 58.9 MB | 0 | |
Changes in 4.2: [PetriNetObjectHandler.java] Rolled back mouse update changes [PlaceTransitionObjectHandler.java] Added static mouseDown attribute Added static isMouseDown() method Added code to set mouseDown during mousePress and mouseRelease events [PlaceView.java] Fixed a bug where moving the cursor away from the PlaceView with the mouse button depressed while drawing an arc from a transition to a place resulted in an arc with a null target [TransitionView.java] Fixed a bug where moving the cursor away from the TransitionView with the mouse button depressed while drawing an arc from a place to a transition resulted in an arc with a null target [FileAction.java] Shifted an index length check [PipeApplicationView.java] Shifted the tab populating code to the bottom of the load method. Previously, if no tabs existed, this code would try to populate a null tab, resulting in an exception. [Pipe.java] Updated to version 4.2