diff options
| author | William Jon McCann <william.jon.mccann@gmail.com> | 2014-02-04 18:21:13 -0500 |
|---|---|---|
| committer | William Jon McCann <william.jon.mccann@gmail.com> | 2014-02-04 18:24:29 -0500 |
| commit | a22358c0c0ed5d9c946816c4212d534ef5f6f378 (patch) | |
| tree | 8efa5819f62833c01a95bedfade1fe51809dd87a /gtk/gtksocket.c | |
| parent | 76447c3512f083a11e716d10ade774ade929b2dd (diff) | |
| download | gtk+-a22358c0c0ed5d9c946816c4212d534ef5f6f378.tar.gz | |
docs: use ` instead of <literal>
Diffstat (limited to 'gtk/gtksocket.c')
| -rw-r--r-- | gtk/gtksocket.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtksocket.c b/gtk/gtksocket.c index 1388ddafe6..7dbb52cac5 100644 --- a/gtk/gtksocket.c +++ b/gtk/gtksocket.c @@ -304,7 +304,7 @@ gtk_socket_new (void) * client may be in the same process or in a different process. * * To embed a #GtkPlug in a #GtkSocket, you can either create the - * #GtkPlug with <literal>gtk_plug_new (0)</literal>, call + * #GtkPlug with `gtk_plug_new (0)`, call * gtk_plug_get_id() to get the window ID of the plug, and then pass that to the * gtk_socket_add_id(), or you can call gtk_socket_get_id() to get the * window ID for the socket, and call gtk_plug_new() passing in that |