Mouse wheel rotate transition

[Jiri Srba]

Help text in the bottom says that one can rotate the transition using mouse wheel, however, mouse wheel
was change to scrolling. So either this should be removed, or (perhaps a better solution) mouse wheel
should rotate a transition and add tokens to places as long as it is above them and when not above any place/transition,
then is should function like a scroll on the model (if it is too big to fit into the window).

[Morten Jacobsen (mortenja)]

This was the functionality at some point while i was fixing it, but you specifically requested that it always functions as a scroller. So maybe we should just fix the text?

[Jiri Srba (srba)]

Yes, I know that this was my preferred behaviour some time ago we discussed this issue ...
 I am though not completely sure about that it was the best decision but I have no strong
preference. So it is up to you to decide (either remove the text or add the rotate/add tokens functionality again).

[Kenneth Yrke Jørgensen (yrke)]

 +1 on re-enabling the feature, I thinks it so nice to control tokens and transition using the mouse wheel.

[Morten Jacobsen (mortenja)]

I re-enabled the old functionality so it controls tokens and rotates transitions when you use the mouse wheel over places and transitions respectively.