[gnome-shell] layout: Add scale property to Monitor

[Jonas Ådahl <jadahl src gnome org>]

commit deead2af97fd2c8e2fc154ba5a57c091d6213b40
Author: Marco Trevisan (Treviño) <mail 3v1n0 net>
Date:   Thu Aug 3 15:51:42 2017 +0200

    layout: Add scale property to Monitor
    
    https://bugzilla.gnome.org/show_bug.cgi?id=765011

 js/ui/layout.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/layout.js b/js/ui/layout.js
index c25cd474d..b6cf05c13 100644
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -146,12 +146,13 @@ var MonitorConstraint = GObject.registerClass({
 });
 
 var Monitor = class Monitor {
-    constructor(index, geometry) {
+    constructor(index, geometry, geometry_scale) {
         this.index = index;
         this.x = geometry.x;
         this.y = geometry.y;
         this.width = geometry.width;
         this.height = geometry.height;
+        this.geometry_scale = geometry_scale;
     }
 
     get inFullscreen() {
@@ -318,7 +319,9 @@ var LayoutManager = GObject.registerClass({
         this.monitors = [];
         let nMonitors = display.get_n_monitors();
         for (let i = 0; i < nMonitors; i++)
-            this.monitors.push(new Monitor(i, display.get_monitor_geometry(i)));
+            this.monitors.push(new Monitor(i,
+                                           display.get_monitor_geometry(i),
+                                           display.get_monitor_scale(i)));
 
         if (nMonitors == 0) {
             this.primaryIndex = this.bottomIndex = -1;