Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

Fix position of priorites #2162

Closed
rherrmannr opened this issue Jul 27, 2018 · 4 comments
Closed

Fix position of priorites #2162

rherrmannr opened this issue Jul 27, 2018 · 4 comments
Assignees
@tkutz
Labels
Comp-Graphical Editor
Milestone
S46

Comments

@rherrmannr
Copy link
Contributor

The "number" of the priority moves if the transition is moved
@BeckmaR
Copy link
Contributor

BeckmaR commented Jul 31, 2018

Agree, the positioning should not depend on the transition's length, else this happens:
image

@terfloth terfloth added this to the S46 milestone Sep 3, 2018
@andreasmuelder andreasmuelder self-assigned this Sep 18, 2018
@andreasmuelder
Copy link
Member

We could use fixed source decorators instead:

decorators

andreasmuelder added a commit that referenced this issue Sep 24, 2018
@andreasmuelder
fixed priority decorators fixes #2162
3e28707
@andreasmuelder andreasmuelder mentioned this issue Sep 24, 2018
Merged
@rherrmannr
Copy link
Contributor Author

The circle could be a little bit bigger so that the numbers fit in.

@tkutz
Copy link
Contributor

tkutz commented Sep 26, 2018

The new decorators are not removed when a transition is deleted.

@tkutz tkutz reopened this Sep 26, 2018
@tkutz tkutz assigned tkutz and unassigned andreasmuelder Sep 26, 2018
@tkutz tkutz mentioned this issue Sep 26, 2018
Merged
andreasmuelder pushed a commit that referenced this issue Sep 26, 2018
@tkutz @andreasmuelder
Fix removal of decoration when transition is deleted (#2293)
f628317 
Fixes #2162
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@tkutz tkutz

Labels
Comp-Graphical Editor
Projects
None yet
Milestone
S46
Development

No branches or pull requests
5 participants
@terfloth @tkutz @andreasmuelder @BeckmaR @rherrmannr