Gio.GSettings bind Gtk.ColorButton

["Andre \"Osku\" Schmidt" <andre osku schmidt gmail com>]

Hi,

i'm doing my first gnome-shell extension (specifically prefs.js for
gnome-tweak-tool) and was wondering how we bind Gtk.ColorButton with
Gio.GSettings?

Like Gtk.Entry can be bound with 'text' (s), Gtk.CheckButton with
'active' (b) and Gtk.SpinButton with 'value' (i/d). Is there a type we
can use for Gtk.ColorButton?

Cheers
Andre Schmidt

ps. i was guessing i need to use
https://developer.gnome.org/gio/stable/GSettings.html#g-settings-bind-with-mapping
to map what ever Gtk.ColorButton uses, to text, but that seems to be
not implemented in javascript.