From 4bf431014b7d97491aff8931efc6901700bac13c Mon Sep 17 00:00:00 2001 From: Olaf Leidinger Date: Wed, 22 Nov 2017 01:38:10 +0100 Subject: [PATCH] Disable HiDpi scaling for now --- src/extension.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/extension.js b/src/extension.js index 633fa37..beb03be 100644 --- a/src/extension.js +++ b/src/extension.js @@ -410,7 +410,7 @@ const TeaTime = new Lang.Class({ // forward (possible) scaling style change to child let scaling = Utils.getGlobalDisplayScaleFactor(); - this._logo.setScaling(scaling); + this._logo.setScaling(1); this._graphicalTimer.setScaling(scaling); }, _containerGetPreferredWidth: function (container, for_height, alloc) {