diff options
author | Ben Bridle <ben@derelict.engineering> | 2024-07-30 22:26:37 +1200 |
---|---|---|
committer | Ben Bridle <ben@derelict.engineering> | 2024-07-30 22:26:37 +1200 |
commit | 9e21354c85448a4890995012bdc26a996a56a972 (patch) | |
tree | 5ef5558ab4bab5824f7b4ea74a0036a1343cf354 /src/window_controller.rs | |
parent | 30c61fd6bc3c1c45156c853ed320312072e24893 (diff) | |
download | phosphor-9e21354c85448a4890995012bdc26a996a56a972.zip |
Fix window manager glitches
Rapidly modifying the window properties was causing the cursor to
vanish when attempting to drag-resize the window, and was preventing
the window from correctly maximising when double-clicking the title bar.
Diffstat (limited to 'src/window_controller.rs')
0 files changed, 0 insertions, 0 deletions