Make meta_display_unmanage_screen public

https://bugzilla.gnome.org/show_bug.cgi?id=660848
2011-10-17 15:19:25 -04:00
parent 138eb1e3b4
commit f700a7be07
2 changed files with 4 additions and 4 deletions
--- 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);
--- 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