Jonathan Coates ab785a0906 Fix monitors being warped after a resize ... Oh, this was a really nasty bug to reproduce. I'm not sure why - it's very simple - I guess I've only just seen screenshots of it, and never sat down to try myself. Reminder to actually report your bugs folks! In this case: 1. Place down three down three monitors and then a computer. 2. Display something on the monitor (monitor left paint a) is my go-to. 3. Break the middle monitor. We'd expect the left most monitor to be cleared, however it actually preserves the monitor contents, resizing (and skewing it) to fit on its new size! This is because we clear the server monitor, but never sync that over to the client, so the client monitor retains the old contents. To fix that, instead of nulling out the server monitor, we null out the underlying Terminal. This causes the change to be synced, fixing the bug.		2023-10-03 18:20:44 +01:00
..
src	Fix monitors being warped after a resize	2023-10-03 18:20:44 +01:00
build.gradle.kts	Add EMI compatibility	2023-07-10 20:31:06 +01:00