Firstly, thank you very much for Ion. I've been using it for about two years now and have never looked back (though I have spent much time cursing both Swing and SWT... :-).
I notice the latest development code now includes an 'autoraise delay' for floating splits, and that's certainly nice to have when you overshoot with the mouse while lunging for a scrollbar. However, I do find the delay an annoyance in itself. Can I suggest as an alternative applying a safety margin of 50px or so to mouse movements, so that one would have to move the mouse some way inside the split to bring it up, and some way outside before it disappears again? I think that would solve the same problem, but without requiring people to wait. The two aproaches could also be used in disjunction, i.e. the floating split will disappear if either the mouse is outside it for more than half a second, or the mouse is more than 50px outside (or the mouse has hit the far edge of the split in the case of narrow splits). -- Jamie Webb
