search

BuddiesOfBudgie / budgie-desktop

Budgie Desktop is a familiar, modern desktop environment.
https://buddiesofbudgie.org
GNU General Public License v2.0
928 stars 47 forks source link

fix: multiple tabswitcher bugs (workspace-based rendering, focus, oversizing) #518

Closed JoshStrobl closed 6 months ago

JoshStrobl commented 6 months ago
  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:

JoshStrobl commented 6 months ago

@serebit I believe this is something you wanted to test too?

serebit commented 6 months ago

Yes, I've installed it and will be testing it later today.

serebit commented 6 months ago

Did not investigate workspace applet changes, but both tab switching issues have been fixed to my satisfaction. Approved.