Short names of components, places, transitions, constants
Bug #893972 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Medium
|
Mathias Andersen | ||
Bug Description
When editing more complicated systems with long names of components, shared places/transitions and constants
the width of the dialogs for entering their names it too small. Please, increase by at least 50% or even more.
See an attached net for an example of how long the names can be (the net it not really working yet, just an example).
Related branches
lp:~tapaal-contributor/tapaal/bug-894334
- Mathias Andersen (community): Approve
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Pending requested
- mhm: Pending requested
-
Diff: 367 lines (+106/-49)4 files modifiedsrc/dk/aau/cs/gui/SharedPlaceNamePanel.java (+1/-1)
src/pipe/gui/widgets/GuardDialogue.java (+45/-13)
src/pipe/gui/widgets/PlaceEditorPanel.java (+36/-22)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+24/-13)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
