brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

osdWindow: bump down the OSD window size a bit

Browse Source 
Matches what this commit did for g-s-d:
https://git.gnome.org/browse/gnome-settings-daemon/commit/plugins/media-keys?id=fbf3c5aa366ef7212f209e123d4aae315a1a2a8e

https://bugzilla.gnome.org/show_bug.cgi?id=695409
This commit is contained in:
Cosimo Cecchi 2013-03-07 16:45:50 -05:00
parent 40d9ed535b
commit ce5faba185
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
js/ui/osdWindow.js
View File

@ -164,12 +164,12 @@ const OsdWindow = new Lang.Class({
}, },
_monitorsChanged: function() { _monitorsChanged: function() {
/* assume 130x130 on a 640x480 display and scale from there */ /* assume 110x110 on a 640x480 display and scale from there */
let monitor = Main.layoutManager.primaryMonitor; let monitor = Main.layoutManager.primaryMonitor;
let scalew = monitor.width / 640.0; let scalew = monitor.width / 640.0;
let scaleh = monitor.height / 480.0; let scaleh = monitor.height / 480.0;
let scale = Math.min(scalew, scaleh); let scale = Math.min(scalew, scaleh);
let size = 130 * Math.max(1, scale); let size = 110 * Math.max(1, scale);
this._box.set_size(size, size); this._box.set_size(size, size);
this._box.translation_y = monitor.height / 4; this._box.translation_y = monitor.height / 4;