diff options
| author | Jonas Ådahl <jadahl@gmail.com> | 2017-01-26 23:56:46 +0800 |
|---|---|---|
| committer | Jonas Ådahl <jadahl@gmail.com> | 2017-02-03 18:02:51 +0800 |
| commit | d4d3dbd0882a272a39dcbd9e7772995c7c2165b8 (patch) | |
| tree | ba05630858aeceb443b3c83c791962b94d59617c | |
| parent | 23c315ea7121e9bd108e2837d0b4beeba53c5e18 (diff) | |
| download | mutter-d4d3dbd0882a272a39dcbd9e7772995c7c2165b8.tar.gz | |
monitor-manager: Get monitor info scale from main output tile
We didn't ever set the monitor info scale for tiled outputs; lets do
that by taking it from the main output.
https://bugzilla.gnome.org/show_bug.cgi?id=777470
| -rw-r--r-- | src/backends/meta-monitor-manager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backends/meta-monitor-manager.c b/src/backends/meta-monitor-manager.c index cefb13df7..7a278bc26 100644 --- a/src/backends/meta-monitor-manager.c +++ b/src/backends/meta-monitor-manager.c @@ -135,6 +135,7 @@ construct_tile_monitor (MetaMonitorManager *manager, info.width_mm = output->width_mm; info.height_mm = output->height_mm; info.winsys_id = output->winsys_id; + info.scale = output->scale; } /* hack */ |