From 042ddc56371e256368f32fc0dad49ef0e499dbea Mon Sep 17 00:00:00 2001
From: Rico Tzschichholz <ricotz@t-online.de>
Date: Thu, 31 May 2012 19:17:49 +0200
Subject: [PATCH] workspace: add annotation for
 meta_workspace_get_work_area_all_monitors

---
 src/core/workspace.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/core/workspace.c b/src/core/workspace.c
index 539085611..31c7a2417 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)