diff options
| author | William Jon McCann <william.jon.mccann@gmail.com> | 2014-01-27 12:12:55 -0500 |
|---|---|---|
| committer | William Jon McCann <william.jon.mccann@gmail.com> | 2014-01-29 12:45:49 -0500 |
| commit | 768bc44081550be18ee19697ed36b5f92298ef11 (patch) | |
| tree | 8a0600c37dd2cc07fb00426c76922d3e3f1085e5 /gtk/gtkradiobutton.c | |
| parent | a74ea0770dfc3c7feaa156ab26c26b44162d1820 (diff) | |
| download | gtk+-768bc44081550be18ee19697ed36b5f92298ef11.tar.gz | |
docs: use |[ ]| instead of <programlisting></programlisting>
https://bugzilla.gnome.org/show_bug.cgi?id=723119
Diffstat (limited to 'gtk/gtkradiobutton.c')
| -rw-r--r-- | gtk/gtkradiobutton.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtkradiobutton.c b/gtk/gtkradiobutton.c index 5232ce479e..3535b28cb9 100644 --- a/gtk/gtkradiobutton.c +++ b/gtk/gtkradiobutton.c @@ -70,7 +70,7 @@ * * <example> * <title>How to create a group of two radio buttons.</title> - * <programlisting> + * |[ * void create_radio_buttons (void) { * * GtkWidget *window, *radio1, *radio2, *box, *entry; @@ -95,7 +95,7 @@ * gtk_widget_show_all (window); * return; * } - * </programlisting> + * ]| * </example> * * When an unselected button in the group is clicked the clicked button |