From f700a7be0759bb51840d6f22cbcc7330e659d871 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 17 Oct 2011 15:19:25 -0400
Subject: [PATCH] Make meta_display_unmanage_screen public

https://bugzilla.gnome.org/show_bug.cgi?id=660848
---
 src/core/display-private.h | 4 ----
 src/meta/display.h         | 4 ++++
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/core/display-private.h b/src/core/display-private.h
index 3950065cd..6db1b6461 100644
--- a/src/core/display-private.h
+++ b/src/core/display-private.h
@@ -344,10 +344,6 @@ MetaScreen*   meta_display_screen_for_xwindow  (MetaDisplay *display,
 void          meta_display_grab                (MetaDisplay *display);
 void          meta_display_ungrab              (MetaDisplay *display);
 
-void          meta_display_unmanage_screen     (MetaDisplay *display,
-                                                MetaScreen  *screen,
-                                                guint32      timestamp);
-
 void          meta_display_unmanage_windows_for_screen (MetaDisplay *display,
                                                         MetaScreen  *screen,
                                                         guint32      timestamp);
diff --git a/src/meta/display.h b/src/meta/display.h
index 3a083afe5..feeb12c6c 100644
--- a/src/meta/display.h
+++ b/src/meta/display.h
@@ -158,4 +158,8 @@ Window meta_display_get_leader_window (MetaDisplay *display);
 void meta_display_add_ignored_crossing_serial (MetaDisplay  *display,
                                                unsigned long serial);
 
+void meta_display_unmanage_screen (MetaDisplay *display,
+                                   MetaScreen  *screen,
+                                   guint32      timestamp);
+
 #endif