[libgda] Demo: remove warning on deprecated API

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit db8e1a52d48ffecb6bc07ff5e8305c7fa31a0448
Author: Daniel Espinosa Ortiz <esodan gmail com>
Date:   Fri Feb 22 14:51:43 2019 -0600

    Demo: remove warning on deprecated API

 libgda-ui/demos/main.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/libgda-ui/demos/main.c b/libgda-ui/demos/main.c
index a62472c20..e5a7e6223 100644
--- a/libgda-ui/demos/main.c
+++ b/libgda-ui/demos/main.c
@@ -613,9 +613,11 @@ create_text (GtkTextBuffer **buffer,
        gtk_container_add (GTK_CONTAINER (scrolled_window), text_view);
   
        if (is_source) {
-               font_desc = pango_font_description_from_string ("monospace");
-               gtk_widget_override_font (text_view, font_desc);
-               pango_font_description_free (font_desc);
+               /* GtkCssProvider *prov = gtk_css_provider_get_default (); */
+               /* gtk_css_provider_load_from_data (prov, ) */
+               /* font_desc = pango_font_description_from_string ("monospace"); */
+               /* gtk_widget_override_font (text_view, font_desc); */
+               /* pango_font_description_free (font_desc); */
                
                gtk_text_view_set_wrap_mode (GTK_TEXT_VIEW (text_view),
                                             GTK_WRAP_NONE);