[gnome-music/wip/jfelder/songeditor-gtk4: 17/32] coregrilo: Add a registry property

[Jean Felder <jfelder src gnome org>]

commit 71e471664ec5540ebdf2aacf456bc2ed90c14caa
Author: Jean Felder <jfelder src gnome org>
Date:   Sat Nov 23 13:57:13 2019 +0100

    coregrilo: Add a registry property
    
    This property will be used by the new Grilo Wrappers.

 gnomemusic/coregrilo.py | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/gnomemusic/coregrilo.py b/gnomemusic/coregrilo.py
index e6e4aa09e..ca9a506b7 100644
--- a/gnomemusic/coregrilo.py
+++ b/gnomemusic/coregrilo.py
@@ -121,6 +121,16 @@ class CoreGrilo(GObject.GObject):
                     self._log.debug(
                         "Failed to activate {} plugin.".format(plugin_id))
 
+    @GObject.Property(
+        type=Grl.Registry, default=None, flags=GObject.ParamFlags.READABLE)
+    def registry(self) -> Grl.Registry:
+        """Get Grilo Registry.
+
+        :returns: the Grilo Registry
+        :rtype: Grl.Registry
+        """
+        return self._registry
+
     def _on_tracker_available_changed(self, klass, value):
         # FIXME:No removal support yet.
         new_state = self._tracker_wrapper.props.tracker_available