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/gtksocket.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/gtksocket.c')
| -rw-r--r-- | gtk/gtksocket.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtksocket.c b/gtk/gtksocket.c index f87c31dbd1..ebe3f7b74f 100644 --- a/gtk/gtksocket.c +++ b/gtk/gtksocket.c @@ -70,7 +70,7 @@ * * <example> * <title>Obtaining the window ID of a socket.</title> - * <programlisting> + * |[ * GtkWidget *socket = gtk_socket_new (<!-- -->); * gtk_widget_show (socket); * gtk_container_add (GTK_CONTAINER (parent), socket); @@ -81,7 +81,7 @@ * gtk_widget_realize (socket); * g_print ("The ID of the sockets window is %#x\n", * gtk_socket_get_id (socket)); - * </programlisting> + * ]| * </example> * * Note that if you pass the window ID of the socket to another |