[mutter] workspace: add annotation for meta_workspace_get_work_area_all_monitors

[Rico Tzschichholz <ricotz src gnome org>]

commit 042ddc56371e256368f32fc0dad49ef0e499dbea
Author: Rico Tzschichholz <ricotz t-online de>
Date:   Thu May 31 19:17:49 2012 +0200

    workspace: add annotation for meta_workspace_get_work_area_all_monitors

 src/core/workspace.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/src/core/workspace.c b/src/core/workspace.c
index 5390856..31c7a24 100644
--- a/src/core/workspace.c
+++ b/src/core/workspace.c
@@ -1056,6 +1056,13 @@ meta_workspace_get_work_area_for_monitor (MetaWorkspace *workspace,
   *area = workspace->work_area_monitor[which_monitor];
 }
 
+/**
+ * meta_workspace_get_work_area_all_monitors:
+ * @workspace: a #MetaWorkspace
+ * @area: (out): location to store the work area
+ *
+ * Stores the work area in @area.
+ */
 void
 meta_workspace_get_work_area_all_monitors (MetaWorkspace *workspace,
                                            MetaRectangle *area)