pioneerspacesim/pioneer — pull request #1720 by robn (2012-11-15 22:26:25+00:00)
Title: New UI: New slider skin and general improvements

Adds some nice narrow slider skins:

![](http://i.imgur.com/z1UoY.png)

![](http://i.imgur.com/ovI3w.png)

Does everything mentioned in #1671 except for mouse wheel handling. That's currently a function of `Scroller`, and I need to think a bit more about if I want to make it work generally for sliders, and if so, how that will interact with event passing through the scroll region. None of this is a reason to hold this patch.

Also fixes a couple of bugs:

* A single MouseMove event was being reported after a MouseOut, for the movement that took the mouse out of bounds. That has now been swapped.,

* Scrolling a region that had been assigned an effectively infinite size (like MultiLineText) was failing because it was attempted to scroll by some fraction of `INT_MAX`. Now it calculates travel according to the size the widget is using, rather than the size it was allocated.