Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix window maximize and unmaximize animations #1557

Merged
merged 13 commits into from Feb 21, 2023
Merged

Fix window maximize and unmaximize animations #1557

merged 13 commits into from Feb 21, 2023

Conversation

lenemter
Copy link
Member

Supersedes #1512
Supersedes #1550
Resolves #1185
Resolves #1536

@lenemter lenemter requested a review from a team February 21, 2023 03:50
danirabbit
danirabbit approved these changes Feb 21, 2023
View reviewed changes
Copy link
Member

@danirabbit danirabbit left a comment

Choose a reason for hiding this comment

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

Buttery smooth 👏

@danirabbit danirabbit merged commit d0abb9c into master Feb 21, 2023
@danirabbit danirabbit deleted the fix-unmaximize-again branch February 21, 2023 18:57
lenemter added a commit that referenced this pull request Feb 22, 2023
@lenemter
Cleanup after #1557
9737bb1
danirabbit pushed a commit that referenced this pull request Feb 22, 2023
@lenemter
Cleanup after #1557 (#1559)
b3e5d7a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@danirabbit danirabbit danirabbit approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Several (un-)maximize animations are not played Unmaximize effect not working with mutter >= 3.38
2 participants
@lenemter @danirabbit