Skip to content

Conversation

@auouymous
Copy link
Member

The window manager might not honor the move request until after the window is shown. This can cause window contents to be rendered at a shifted offset inside the window borders.

Copy link
Member

@thp thp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could this cause the window "jumping" from original mapping to when it's loaded fully? Wonder if we should do it twice? (once so that window managers that honor the request will move the window, then second time with delay so that other window managers deal with it properly) -- is there a list of window managers that have one behavior vs the other?

The window manager might not honor the move request until after the
window is shown. This can cause window contents to be rendered at
a shifted offset inside the window borders.
@auouymous auouymous force-pushed the delay-window-position-restore branch from f9e9a13 to dd299bc Compare August 28, 2021 09:02
@auouymous
Copy link
Member Author

Thanks for bringing that up, the window can jump, so I change it to move before and after. There is a split second where the window contents are shifted but the delayed move quickly corrects that.

I doubt there is a list.

@elelay elelay merged commit 69e2421 into gpodder:master Oct 11, 2021
@elelay
Copy link
Member

elelay commented Oct 11, 2021

Merged, thanks

@auouymous auouymous deleted the delay-window-position-restore branch October 11, 2021 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants