
A property is often more convenient than a method, as it can be used with bind_property() and friends. https://gitlab.gnome.org/GNOME/gnome-shell/issues/239
A property is often more convenient than a method, as it can be used with bind_property() and friends. https://gitlab.gnome.org/GNOME/gnome-shell/issues/239