-
-
Notifications
You must be signed in to change notification settings - Fork 53
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: multiple tabswitcher bugs (workspace-based rendering, focus, ove…
…rsizing) (#518) * fix: multiple tabswitcher bugs (workspace-based rendering, focus, oversizing) 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 * fix: rename get_preferred_max_children to get_visible_children * fix: workspace blurry oversized icon #516
- Loading branch information
1 parent
8d143b6
commit 00ed13f
Showing
2 changed files
with
30 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters