[mutter] display: Make meta_display_get_workspace_manager() introspectable

[Jonas Ådahl <jadahl src gnome org>]

commit 0ca35266270d19fc235661ad5a84d620d4766b18
Author: Jonas Ådahl <jadahl gmail com>
Date:   Wed Jan 3 13:09:41 2018 +0800

    display: Make meta_display_get_workspace_manager() introspectable
    
    So that it can be reached from Javascript.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=759538

 src/core/display.c | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/src/core/display.c b/src/core/display.c
index 3b1aeaaa0..d946ad80d 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -3606,6 +3606,12 @@ meta_display_focus_default_window (MetaDisplay *display,
                                        timestamp);
 }
 
+/**
+ * meta_display_get_workspace_manager:
+ * @display: a #MetaDisplay
+ *
+ * Returns: (transfer none) The workspace manager of the display
+ */
 MetaWorkspaceManager *
 meta_display_get_workspace_manager (MetaDisplay *display)
 {