85df994eda
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 |
||
---|---|---|
.. | ||
view.cpp | ||
view_controls.cpp | ||
view_group.cpp | ||
view_item.cpp | ||
view_overlay.cpp | ||
wx_view_controls.cpp | ||
zoom_controller.cpp |