summaryrefslogtreecommitdiff
path: root/gtk/gtkradiobutton.c
diff options
context:
space:
mode:
Diffstat (limited to 'gtk/gtkradiobutton.c')
-rw-r--r--gtk/gtkradiobutton.c4
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;
*