Adam Barth c696c21aa5 Remove floating-point errors from ScrollableWidgetList
We now compute which items to show using integers instead of floating point,
avoiding rounding errors.
2015-08-25 09:20:20 -07:00
..
2015-08-24 12:55:55 -07:00