[gtk+/gtk-3-8] Improve doc of gtk_text_buffer_paste_clipboard()

[Matthias Clasen <matthiasc src gnome org>]

commit 1e80b89c9cecc712a41331e119acd2c7e1f305ae
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sun Sep 15 01:07:36 2013 +0200

    Improve doc of gtk_text_buffer_paste_clipboard()
    
    It didn't explain the behavior when there is a non-empty buffer
    selection.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=339539

 gtk/gtktextbuffer.c |   14 ++++++++------
 1 files changed, 8 insertions(+), 6 deletions(-)
---
diff --git a/gtk/gtktextbuffer.c b/gtk/gtktextbuffer.c
index 208bca3..2859ee1 100644
--- a/gtk/gtktextbuffer.c
+++ b/gtk/gtktextbuffer.c
@@ -3767,14 +3767,16 @@ remove_all_selection_clipboards (GtkTextBuffer *buffer)
  * gtk_text_buffer_paste_clipboard:
  * @buffer: a #GtkTextBuffer
  * @clipboard: the #GtkClipboard to paste from
- * @override_location: (allow-none): location to insert pasted text, or %NULL for
- *                     at the cursor
+ * @override_location: (allow-none): location to insert pasted text, or %NULL
  * @default_editable: whether the buffer is editable by default
  *
- * Pastes the contents of a clipboard at the insertion point, or
- * at @override_location. (Note: pasting is asynchronous, that is,
- * we'll ask for the paste data and return, and at some point later
- * after the main loop runs, the paste data will be inserted.)
+ * Pastes the contents of a clipboard. If @override_location is %NULL, the
+ * pasted text will be inserted at the cursor position, or the buffer selection
+ * will be replaced if the selection is non-empty.
+ *
+ * Note: pasting is asynchronous, that is, we'll ask for the paste data and
+ * return, and at some point later after the main loop runs, the paste data will
+ * be inserted.
  **/
 void
 gtk_text_buffer_paste_clipboard (GtkTextBuffer *buffer,