[gtksourceview] Completion doc: "provider-page-size" is not yet used

[SÃbastien Wilmet <swilmet src gnome org>]

commit fb43f060465e334ba022ed74e914239f32044f4a
Author: SÃbastien Wilmet <swilmet src gnome org>
Date:   Mon Apr 23 01:00:22 2012 +0200

    Completion doc: "provider-page-size" is not yet used
    
    The "provider-page-size" property is actually not used. It could be used with
    Ctrl+PageDown and Ctrl+PageUp. But would it be very useful? Generally
    there are not a lot of providers AFAIK. So the property could simply be
    removed or deprecated.
    
    Anyway I think it's better to document the fact that it is not yet used.

 gtksourceview/gtksourcecompletion.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourcecompletion.c b/gtksourceview/gtksourcecompletion.c
index 47d09b2..cd0c695 100644
--- a/gtksourceview/gtksourcecompletion.c
+++ b/gtksourceview/gtksourcecompletion.c
@@ -2325,6 +2325,7 @@ gtk_source_completion_class_init (GtkSourceCompletionClass *klass)
 	 * GtkSourceCompletion:provider-page-size:
 	 *
 	 * The scroll page size of the provider pages in the completion window.
+	 * Not yet used.
 	 *
 	 */
 	g_object_class_install_property (object_class,