[gnome-commander] Added a documentation comment for table_add function

[Uwe Scholz <uwescholz src gnome org>]

commit f5cb0a2efacb82829131406bb4b6253102066e85
Author: Uwe Scholz <uwescholz src gnome org>
Date:   Mon Sep 29 22:07:16 2014 +0200

    Added a documentation comment for table_add function

 libgcmd/libgcmd-widget-factory.h |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/libgcmd/libgcmd-widget-factory.h b/libgcmd/libgcmd-widget-factory.h
index 2fe66bf..69dd49f 100644
--- a/libgcmd/libgcmd-widget-factory.h
+++ b/libgcmd/libgcmd-widget-factory.h
@@ -136,6 +136,14 @@ inline GSList *get_radio_group (GtkWidget *radio)
     return gtk_radio_button_get_group (GTK_RADIO_BUTTON (radio));
 }
 
+/**
+ * Wrapper function for <a 
href="https://developer.gnome.org/gtk3/stable/GtkTable.html#gtk-table-attach";>gtk_table_attach</a> to easily 
add a widget to a GtkTable table.
+ * \param *table A table widget.
+ * \param *w The widget which should be added to the table.
+ * \param x The column number to attach the left side of a child widget to.
+ * \param y The row number to attach the top of a child widget to.
+ * \param x_opts Used to specify the properties of the child widget when the table is resized.
+ */
 inline void table_add (GtkWidget *table, GtkWidget *w, gint x, gint y, GtkAttachOptions x_opts)
 {
     gtk_table_attach (GTK_TABLE (table), w, x, x+1, y, y+1, x_opts, (GtkAttachOptions)0, 0, 0);