lp:~tapaal-contributor/tapaal/bug928936

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 658

Kenneth Yrke Jørgensen: Approve on 2012-02-17

Jiri Srba: Approve on 2012-02-16

Diff: 47 lines (+10/-2)

2 files modified

src/pipe/gui/CreateGui.java (+2/-0)
src/pipe/gui/widgets/PlaceEditorPanel.java (+8/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #928936: Too big token numbers make TAPAAL freeze

Medium

Fix Released

Link a bug report

Related blueprints

659. By Jiri Srba on 2012-02-16

Changed the max number of tokens in a place to 999 (more looks graphically ugly and we will never ever need more than this).

658. By Mathias Andersen on 2012-02-16

moved constant to createGui

657. By Mathias Andersen on 2012-02-14

refactored

656. By Jiri Srba on 2012-02-14

reformulated the error message

655. By Mathias Andersen on 2012-02-14

Fix for bug #928936

654. By Jakob Taankvist on 2012-02-08

Made all the panels in the edit mode sortable by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

653. By Jiri Srba on 2012-02-05

The "New Petri net"- dialog has been standardized so that it looks like e.g. the "New Component"- dialog or the "New Constant"- dialog. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

652. By Jiri Srba on 2012-02-05

A timer has been added to the "verification running"- dialog. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

651. By Jakob Taankvist on 2012-01-30

All the lists of JList are now nonsearchable to avoid clashes with hotkeys. Corresponding keylisteners are removed using the toString method for campatibility issues between Mac and Linux. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

650. By Mathias Andersen on 2012-01-13

The Edit place-, batch processing- and Query dialogs now follow the same policy for entering numbers, as the Constant dialog: Allow only numeric values to enter, including the empty string and allowing arrows up and down. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba