Hanging intervals in GUI

[Jiri Srba]

During the presentation I experienced several times that once I entered simulation, played with
it and the get back to editor, some of the enabledness intervals (when you hover over a transition)
didn't disappear and where permanently present until restart. I was using dual screen, not sure
if this was the cause?

[Jiri Srba (srba)]

I find a way to reproduce:

1. Open intro example
2. Enter simulator
3. Put the mouse over the yellow transition, an interval will appear.
4. Press the key "M" to return to editor - now the interval over the transition
   is hanging there for ever ...

[Mads Johannsen (mjohan12)]

I have pushed a fix to ctl-query-fix-1540367 that disables the mouse hover windows when exiting animation mode.