mitch/gnome-shell-teatime
1
0
Fork 0
mirror of https://github.com/oleid/gnome-shell-teatime.git synced 2022-04-29 18:53:50 +00:00
Code Issues Projects Releases Wiki Activity

Disable HiDpi scaling for now

Browse Source
This commit is contained in:
Olaf Leidinger 2017-11-22 01:38:10 +01:00
parent d3f90010fe
commit 4bf431014b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/extension.js
View File

@ -410,7 +410,7 @@ const TeaTime = new Lang.Class({
// forward (possible) scaling style change to child // forward (possible) scaling style change to child
let scaling = Utils.getGlobalDisplayScaleFactor(); let scaling = Utils.getGlobalDisplayScaleFactor();
this._logo.setScaling(scaling); this._logo.setScaling(1);
this._graphicalTimer.setScaling(scaling); this._graphicalTimer.setScaling(scaling);
}, },
_containerGetPreferredWidth: function (container, for_height, alloc) { _containerGetPreferredWidth: function (container, for_height, alloc) {