Describe the bug
the border gets readded before the client is repositioned after leaving fullscreen state. for a short moment the client is slightly bigger than the screen and is sometimes (about 4/10 times) visible on the next screen.
To Reproduce
its a bit hard to reproduce as it only happens sometimes but building a binary from the minimal example and adding a keybinding for fullscreen toggle should be enough.
as this is similar to another bug (#327), its best to have at least two clients visible on the screen when trying to reproduce.
Expected behavior
client should switch back to normal size without getting bigger for a brief moment.
Versions & OS Details
- OS: linux
- Distribution: Arch
- OS Version: 6.15.3-arch1-1
- Penrose Version: f95da04
Additional context
i fixed this with this commit. what do you think about this?