[gnome-settings-daemon] xrandr: Update for gnome-desktop API change

[Bastien Nocera <hadess src gnome org>]

commit 0e5943d7bd2f083a5b2900f7dd028618bebbc558
Author: Bastien Nocera <hadess hadess net>
Date:   Mon Mar 4 12:50:05 2013 +0100

    xrandr: Update for gnome-desktop API change

 plugins/xrandr/gsd-xrandr-manager.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/xrandr/gsd-xrandr-manager.c b/plugins/xrandr/gsd-xrandr-manager.c
index ed9fc25..ec3da9c 100644
--- a/plugins/xrandr/gsd-xrandr-manager.c
+++ b/plugins/xrandr/gsd-xrandr-manager.c
@@ -374,7 +374,7 @@ is_laptop (GnomeRRScreen *screen, GnomeRROutputInfo *output)
 
         rr_output = gnome_rr_screen_get_output_by_name (screen, gnome_rr_output_info_get_name (output));
 
-        return gnome_rr_output_is_laptop (rr_output);
+        return gnome_rr_output_is_builtin_display (rr_output);
 }
 
 static GnomeRROutputInfo *