widget: Add deprecation annotations for {get,set}_margin_{left,right}
Fallout from 9921bec63a
This commit is contained in:
parent
35092a7c2e
commit
a5ff70f949
@ -14063,6 +14063,8 @@ gtk_widget_set_valign (GtkWidget *widget,
|
|||||||
*
|
*
|
||||||
* Returns: The left margin of @widget
|
* Returns: The left margin of @widget
|
||||||
*
|
*
|
||||||
|
* Deprecated: 3.12: Use gtk_widget_get_margin_start() instead.
|
||||||
|
*
|
||||||
* Since: 3.0
|
* Since: 3.0
|
||||||
*/
|
*/
|
||||||
gint
|
gint
|
||||||
@ -14081,6 +14083,8 @@ gtk_widget_get_margin_left (GtkWidget *widget)
|
|||||||
* Sets the left margin of @widget.
|
* Sets the left margin of @widget.
|
||||||
* See the #GtkWidget:margin-left property.
|
* See the #GtkWidget:margin-left property.
|
||||||
*
|
*
|
||||||
|
* Deprecated: 3.12: Use gtk_widget_set_margin_start() instead.
|
||||||
|
*
|
||||||
* Since: 3.0
|
* Since: 3.0
|
||||||
*/
|
*/
|
||||||
void
|
void
|
||||||
@ -14114,6 +14118,8 @@ gtk_widget_set_margin_left (GtkWidget *widget,
|
|||||||
*
|
*
|
||||||
* Returns: The right margin of @widget
|
* Returns: The right margin of @widget
|
||||||
*
|
*
|
||||||
|
* Deprecated: 3.12: Use gtk_widget_get_margin_end() instead.
|
||||||
|
*
|
||||||
* Since: 3.0
|
* Since: 3.0
|
||||||
*/
|
*/
|
||||||
gint
|
gint
|
||||||
@ -14132,6 +14138,8 @@ gtk_widget_get_margin_right (GtkWidget *widget)
|
|||||||
* Sets the right margin of @widget.
|
* Sets the right margin of @widget.
|
||||||
* See the #GtkWidget:margin-right property.
|
* See the #GtkWidget:margin-right property.
|
||||||
*
|
*
|
||||||
|
* Deprecated: 3.12: Use gtk_widget_set_margin_end() instead.
|
||||||
|
*
|
||||||
* Since: 3.0
|
* Since: 3.0
|
||||||
*/
|
*/
|
||||||
void
|
void
|
||||||
|
Loading…
Reference in New Issue
Block a user