* Gets the value of the #GtkWidget:margin-left property.
*
* Returns: The left margin of @widget
+ *
+ * Since: 3.0
*/
gint
gtk_widget_get_margin_left (GtkWidget *widget)
*
* Sets the left margin of @widget.
* See the #GtkWidget:margin-left property.
+ *
+ * Since: 3.0
*/
void
gtk_widget_set_margin_left (GtkWidget *widget,
*
* Gets the value of the #GtkWidget:margin-right property.
*
- * Returns: The left margin of @widget
+ * Returns: The right margin of @widget
+ *
+ * Since: 3.0
*/
gint
gtk_widget_get_margin_right (GtkWidget *widget)
*
* Sets the right margin of @widget.
* See the #GtkWidget:margin-right property.
+ *
+ * Since: 3.0
*/
void
gtk_widget_set_margin_right (GtkWidget *widget,
* Gets the value of the #GtkWidget:margin-top property.
*
* Returns: The top margin of @widget
+ *
+ * Since: 3.0
*/
gint
gtk_widget_get_margin_top (GtkWidget *widget)
*
* Sets the top margin of @widget.
* See the #GtkWidget:margin-top property.
+ *
+ * Since: 3.0
*/
void
gtk_widget_set_margin_top (GtkWidget *widget,
* Gets the value of the #GtkWidget:margin-bottom property.
*
* Returns: The bottom margin of @widget
+ *
+ * Since: 3.0
*/
gint
gtk_widget_get_margin_bottom (GtkWidget *widget)
*
* Sets the bottom margin of @widget.
* See the #GtkWidget:margin-bottom property.
+ *
+ * Since: 3.0
*/
void
gtk_widget_set_margin_bottom (GtkWidget *widget,