Xoan Sampaiño dfc364af3c Enhance scrolling by using font point size as scroll rate
In wxWidgets documentation there are three ways to set the size of the
scrolling area. The most automatic (and newest) way is by using SetScrollRate:
  * http://docs.wxwidgets.org/trunk/classwx_scrolled.html#details
2017-05-03 21:28:53 +02:00
..
2017-04-04 12:12:23 +02:00