lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782
Branch merges
- Jiri Srba: Approve
-
Diff: 79 lines (+29/-11)2 files modifiedsrc/pipe/gui/graphicElements/PetriNetObject.java (+14/-4)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+15/-7)
Branch information
Recent revisions
- 1020. By Peter Taankvist <email address hidden>
-
namelabels are no longer dependant on grid when zooming, works as having no grid
- 1017. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/align-to-grid new tool allowing to align current net objects to the current grid
- 1016. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/layout-of-net-depends-on-gridsize-1429880 fixing loading of nets without aligning to current grid size
- 1015. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/undo-annotation-note-1834460 fixing undo for annotations
- 1014. By Jiri Srba <email address hidden>
-
merged lp:~tapaal-contributor/tapaal/set-labels-to-default-smartdraw-1841192
fixing label positions to default during automatic layout - 1013. By Jiri Srba <email address hidden>
-
GUI label undo merged lp:~tapaal-contributor/tapaal/undo-namelabel-movement-1834783
- 1012. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/SmartDrawDevelopment allowing for automatic net layout
- 1011. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a tab that is not active
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal