diff options
| author | William Jon McCann <william.jon.mccann@gmail.com> | 2014-02-05 13:07:34 -0500 |
|---|---|---|
| committer | William Jon McCann <william.jon.mccann@gmail.com> | 2014-02-05 15:08:42 -0500 |
| commit | 2a45418b673d10f60e9334ebcfa493f125d26e02 (patch) | |
| tree | bd459a39a8aae3ade27524b5e1199eb38d972c25 /gtk/gtkplug.c | |
| parent | c3dfb17031842458e86907e8c1d3a1ca4c442a8c (diff) | |
| download | gtk+-2a45418b673d10f60e9334ebcfa493f125d26e02.tar.gz | |
docs: use proper quotes
Diffstat (limited to 'gtk/gtkplug.c')
| -rw-r--r-- | gtk/gtkplug.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtkplug.c b/gtk/gtkplug.c index f855fb4fdb..ae24dd6c01 100644 --- a/gtk/gtkplug.c +++ b/gtk/gtkplug.c @@ -620,7 +620,7 @@ gtk_plug_construct_for_display (GtkPlug *plug, * @socket_id: the window ID of the socket, or 0. * * Creates a new plug widget inside the #GtkSocket identified - * by @socket_id. If @socket_id is 0, the plug is left "unplugged" and + * by @socket_id. If @socket_id is 0, the plug is left “unplugged” and * can later be plugged into a #GtkSocket by gtk_socket_add_id(). * * Return value: the new #GtkPlug widget. |