[gtk+/wip/ebassi/gles: 17/17] docs: Add new GtkGLArea symbols

[Emmanuele Bassi <ebassi src gnome org>]

commit 545af8ba19721ae5037c244b58fa5ba061ed71db
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sat Apr 23 10:34:53 2016 +0100

    docs: Add new GtkGLArea symbols

 docs/reference/gtk/gtk3-sections.txt |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 36b3bac..0c072c6 100644
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -8475,6 +8475,8 @@ gtk_gl_area_set_auto_render
 gtk_gl_area_get_auto_render
 gtk_gl_area_get_required_version
 gtk_gl_area_set_required_version
+gtk_gl_area_set_use_es
+gtk_gl_area_get_use_es
 <SUBSECTION Standard>
 GTK_TYPE_GL_AREA
 GTK_GL_AREA