diff options
| author | William Jon McCann <william.jon.mccann@gmail.com> | 2014-01-27 14:55:18 -0500 |
|---|---|---|
| committer | William Jon McCann <william.jon.mccann@gmail.com> | 2014-01-29 12:45:49 -0500 |
| commit | 4c8bd8e7cf2a4850ad3aac83c0f3d6eb9c5540bd (patch) | |
| tree | 6538e74167af906319ea494a08d831881fea5365 /gtk/gtkradiobutton.c | |
| parent | 768bc44081550be18ee19697ed36b5f92298ef11 (diff) | |
| download | gtk+-4c8bd8e7cf2a4850ad3aac83c0f3d6eb9c5540bd.tar.gz | |
docs: Identify examples that are C code
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 3535b28cb9..8d62e01886 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> - * |[ + * |[<!-- language="C" --> * void create_radio_buttons (void) { * * GtkWidget *window, *radio1, *radio2, *box, *entry; @@ -355,7 +355,7 @@ gtk_radio_button_set_group (GtkRadioButton *radio_button, * and gtk_radio_button_set_group() methods * * A common way to set up a group of radio buttons is the following: - * |[ + * |[<!-- language="C" --> * GtkRadioButton *radio_button; * GtkRadioButton *last_button; * |