Maarten Bent bdc18f68b6 Update wxHtmlWindow on DPI change ...

This is not ideal, as resetting the page contents loses the current
selection and redoes a lot of work that could be avoided, but it's
(much) better than nothing, as it fixes the window appearance after e.g.
moving it to another monitor.

Closes #18564.

2020-11-28 16:56:22 +01:00

23 KiB

Raw Blame History

View Raw