[libgda] Options: disable unused gtksourceview

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 158b137f1efc43f82f59729d948536b4860fec9b
Author: Daniel Espinosa <esodan gmail com>
Date:   Sun Jan 31 14:46:04 2021 -0600

    Options: disable unused gtksourceview

 meson_options.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index a4a55d7de..7bb0aeb13 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,5 +1,5 @@
 option('ui', type : 'boolean', value : true, description : 'Enable GTK+ extension and tools')
-option('with-gtksourceview', type : 'boolean', value : false, description : 'Enable using GtkSourceView')
+#option('gtksourceview', type : 'boolean', value : false, description : 'Enable using GtkSourceView')
 option('with-help', type : 'boolean', value : true, description : 'Enable building help (GdaBrowser)')
 option('with-goocanvas', type : 'boolean', value : false, description : 'Enable using GooCanvas')
 option('with-graphviz', type : 'boolean', value : false, description : 'Enable using Graphviz')