-
-
Notifications
You must be signed in to change notification settings - Fork 50
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.
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
fix: multiple tabswitcher bugs (workspace-based rendering, focus, oversizing) #518
fix: multiple tabswitcher bugs (workspace-based rendering, focus, oversizing) #518
Conversation
…rsizing) 1. Fixed workspace-based rendering by adding missing invalidate filter during construction. 2. Fix focus issue caused by our get_time providing an incorrect event timing. Resolved by using Gdk.X11.get_server_time, need to rip that out when we switch to Wayland. 3. Fix TabSwitcher sizing not updating Fixes: - #515 - #517
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
After compiling this, I can no longer get any weirdness to happen with the tab switcher :D
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks good, and appears to be working well for me. I'm not seeing any more weird behavior with the tab switcher.
@serebit I believe this is something you wanted to test too? |
Yes, I've installed it and will be testing it later today. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Still looks good to me, though I do only use 100% scaling.
Did not investigate workspace applet changes, but both tab switching issues have been fixed to my satisfaction. Approved. |
Fixes: