[libgda] Options: rename with-ui to ui

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 6d1430e399c96394c11fdf16233a6629fc3a1c40
Author: Daniel Espinosa <esodan gmail com>
Date:   Sun Jan 31 14:34:23 2021 -0600

    Options: rename with-ui to ui

 meson.build       | 2 +-
 meson_options.txt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/meson.build b/meson.build
index d13bcc7c3..1a5df1544 100644
--- a/meson.build
+++ b/meson.build
@@ -319,7 +319,7 @@ subdir('libgda')
 subdir('providers')
 
 gtk_dep = dependency('gtk+-3.0', required: false)
-enable_ui = get_option('with-ui') and gtk_dep.found() and get_option('experimental')
+enable_ui = get_option('ui') and gtk_dep.found() and get_option('experimental')
 if enable_ui
        gdkpixbuf_dep = dependency('gdk-pixbuf-2.0')
        glade_dep = dependency('gladeui-2.0', required : false)
diff --git a/meson_options.txt b/meson_options.txt
index 426fd09c1..a4a55d7de 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,4 +1,4 @@
-option('with-ui', type : 'boolean', value : true, description : 'Enable GTK+ extension and tools')
+option('ui', type : 'boolean', value : true, description : 'Enable GTK+ extension and tools')
 option('with-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')