gnome-shell/gnome-shell-alt-tab-hdpi-fixes.patch

50 lines
1.8 KiB
Diff

From 491e511a9699dad4fce75cf2468067b7ab0b8c64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 26 Nov 2015 00:04:11 +0100
Subject: altTab: Fix window-switcher on HiDPI displays
We need to take the scale factor into account to avoid tiny window
previews on HiDPI.
https://bugzilla.gnome.org/show_bug.cgi?id=758676
---
js/ui/altTab.js | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/js/ui/altTab.js b/js/ui/altTab.js
index 8765f19..7029bf7 100644
--- a/js/ui/altTab.js
+++ b/js/ui/altTab.js
@@ -685,15 +685,17 @@ const WindowIcon = new Lang.Class({
this._icon.destroy_all_children();
+ let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
+
switch (mode) {
case AppIconMode.THUMBNAIL_ONLY:
size = WINDOW_PREVIEW_SIZE;
- this._icon.add_actor(_createWindowClone(mutterWindow, WINDOW_PREVIEW_SIZE));
+ this._icon.add_actor(_createWindowClone(mutterWindow, size * scaleFactor));
break;
case AppIconMode.BOTH:
size = WINDOW_PREVIEW_SIZE;
- this._icon.add_actor(_createWindowClone(mutterWindow, WINDOW_PREVIEW_SIZE));
+ this._icon.add_actor(_createWindowClone(mutterWindow, size * scaleFactor));
if (this.app)
this._icon.add_actor(this._createAppIcon(this.app,
@@ -705,7 +707,7 @@ const WindowIcon = new Lang.Class({
this._icon.add_actor(this._createAppIcon(this.app, size));
}
- this._icon.set_size(size, size);
+ this._icon.set_size(size * scaleFactor, size * scaleFactor);
},
_createAppIcon: function(app, size) {
--
cgit v0.11.2