Files
wxWidgets/src/html
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
..
2020-07-04 20:47:20 +02:00
2020-11-28 16:56:22 +01:00
2020-10-16 01:58:13 +02:00