Lubomir I. Ivanov 4ccd6fb3b6 Fix the zoom-panning for the new profile
This works in a different way compared to the old widget.
To make it work we use vieport()'s height() and width()
and simplify the scroll position to:
scrollPosition = (mousePosition / totalLength) * scrollMaximum

Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2014-02-05 09:27:39 -08:00
..
2013-11-29 12:11:12 -08:00
2014-01-16 12:15:47 +07:00
2013-12-04 15:49:55 -08:00
2014-01-16 12:15:47 +07:00
2013-12-20 09:53:04 -08:00
2013-10-15 04:37:31 -07:00
2014-01-16 12:15:47 +07:00
2014-01-16 12:15:47 +07:00
2014-01-21 09:39:09 -08:00
2013-11-30 12:01:32 -08:00
2014-01-16 12:15:47 +07:00
2014-01-10 16:12:44 +07:00