7811d1a833
Update the font of some buddy controls when the DPI changes. Fix the position of the statusbar after a DPI change. Add some changes that were suggested in https://github.com/wxWidgets/wxWidgets/pull/1499 but left out from it. Some sizes are cached to improve the speed of the library. These sizes become incorrect when the DPI changes. And are incorrect when a window is created on a display with a different DPI. Fix this by checking if the current DPI is the same as the DPI that was used when calculating the size, otherwise recalculate the size. Closes https://github.com/wxWidgets/wxWidgets/pull/1530 |
||
---|---|---|
.. | ||
wx | ||
check_syntax.sh |