[libgda: 2/2] Merge branch 'wip/tintou/gtksource' into 'master'

[Rodrigo Moya <rodrigo src gnome org>]

commit 5b989099be37b2d165027c54aadc64abde5a6d4f
Merge: 0dbb0e2cb 3415fc0a9
Author: Rodrigo Moya <rodrigo gnome-db org>
Date:   Fri Apr 6 19:01:46 2018 +0000

    Merge branch 'wip/tintou/gtksource' into 'master'
    
    Use single header with GtkSource
    
    See merge request GNOME/libgda!7

 libgda-ui/data-entries/plugins/gdaui-entry-text.c   | 10 +---------
 libgda-ui/data-entries/plugins/libmain.c            |  9 ---------
 tools/browser/data-manager/data-favorite-selector.c | 10 +---------
 tools/browser/data-manager/xml-spec-editor.c        | 10 +---------
 tools/browser/query-exec/query-editor.c             | 13 ++-----------
 5 files changed, 5 insertions(+), 47 deletions(-)
---