HiDPI support
skyline75489 opened this issue · 6 comments
Right now the support for HiDPI and DPI changing event seems missing.
Could you explain what you mean?
Do you mean the situation when you move a window from one monitor to another and they have different DPIs?
Sorry I wasn't being clear. I mean I was changing the DPI of the current monitor. Like from 100% to 200%.
Is this something you do commonly, changing DPIs of your monitor?
I can't really see a common use case for changing DPIs of your monitor as you work.
Regardless, when crash handling and restarting with memory/layout will be implemented, I'm sure this problem will disappear since WinWM would just restart with the new DPI
Yeah.. my use case might be unusual. The DPI change happens when I remote login a Windows machine using a device that has different DPI than that machine via RDP.
So as far as I understand, the way to resolve this would be to handle WM_WHATEVER_DPI_CHANGE, and scale the windows accordingly, right?
Update: Upon further inquiry, this is harder than it looks, WM_DPICHANGED does not supply the HMONITOR whose DPI changed making it very hard to update the windows who are affected by the DPI change.
And using verify_workspace seems to fix the workspace (mod+r)