efc0325e14
The thumb size changes between system versions and (on GTK) render
managers, so hard-coded wasn't working. This gets the actual value from
the system and uses to adjust the range. Changes in the range can also
trigger the refresh.
Fixes: lp:1822617
* https://bugs.launchpad.net/kicad/+bug/1822617
Fixes: lp:1816749
* https://bugs.launchpad.net/kicad/+bug/1816749
(cherry picked from commit
|
||
---|---|---|
.. | ||
view.cpp | ||
view_controls.cpp | ||
view_group.cpp | ||
view_item.cpp | ||
view_overlay.cpp | ||
wx_view_controls.cpp | ||
zoom_controller.cpp |