From 0ca35266270d19fc235661ad5a84d620d4766b18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20=C3=85dahl?= <jadahl@gmail.com>
Date: Wed, 3 Jan 2018 13:09:41 +0800
Subject: [PATCH] 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)
 {