[mutter] MonitorManager: extend the API with physical sizes

[Giovanni Campagna <gcampagna src gnome org>]

commit 3a786542c4bfe8e25a759575238daf3971e37336
Author: Giovanni Campagna <gcampagn redhat com>
Date:   Mon Aug 19 17:37:24 2013 +0200

    MonitorManager: extend the API with physical sizes
    
    These will be needed in the new display panel designs to show
    the diagonal length and physical aspect ratio.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=706322

 src/core/monitor.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/core/monitor.c b/src/core/monitor.c
index d81ff15..d1a1283 100644
--- a/src/core/monitor.c
+++ b/src/core/monitor.c
@@ -813,6 +813,10 @@ meta_monitor_manager_handle_get_resources (MetaDBusDisplayConfig *skeleton,
                              g_variant_new_string (output->product));
       g_variant_builder_add (&properties, "{sv}", "serial",
                              g_variant_new_string (output->serial));
+      g_variant_builder_add (&properties, "{sv}", "width-mm",
+                             g_variant_new_int32 (output->width_mm));
+      g_variant_builder_add (&properties, "{sv}", "height-mm",
+                             g_variant_new_int32 (output->height_mm));
       g_variant_builder_add (&properties, "{sv}", "display-name",
                              g_variant_new_take_string (make_display_name (manager, output)));
       g_variant_builder_add (&properties, "{sv}", "backlight",