lp:~tapaal-contributor/tapaal/hide-show-names-1921393
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/hide-show-names-1921393
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 769 lines (+439/-43)15 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+59/-2)
src/dk/aau/cs/gui/TabContentActions.java (+7/-0)
src/dk/aau/cs/gui/components/NameVisibilityPanel.java (+247/-0)
src/dk/aau/cs/gui/undo/ChangeAllNamesVisibilityCommand.java (+70/-0)
src/dk/aau/cs/gui/undo/RenameTimedPlaceCommand.java (+2/-2)
src/pipe/gui/GuiFrame.java (+11/-5)
src/pipe/gui/GuiFrameActions.java (+1/-1)
src/pipe/gui/GuiFrameController.java (+0/-1)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+6/-4)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+2/-2)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+0/-1)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+0/-1)
src/pipe/gui/widgets/PlaceEditorPanel.java (+22/-23)
src/pipe/gui/widgets/QueryDialog.java (+1/-1)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+11/-0)
Related bugs
Bug #1921393: Add hide/show names of places and transitions | Undecided | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 1143. By Lena Ernstsen
-
Fixed undo/redo of single place/transition name visibility through editor panels
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal