Setting Window properties in Gtk3 (gi.repository) like Gdk.gdk.Window.property_change ?

[John Lane <john lane uk net>]

What is the right way to set window properties in Gtk3, specifically
window manager hints (such as _NET_WM_STRUT_PARTIAL) ?

In GTK2, this was done using 'gdk_property_change'
(gdk/x11/gdkproperty-x11.c)

*
https://developer.gnome.org/pygtk/stable/class-gdkwindow.html#method-gdkwindow--property-change

This was changed to `_gdk_x11_window_change_property` in commit 166ff5e9
2010-12-17 00:00:01 (https://git.gnome.org/browse/gtk+)

However, the Gtk3 Python bindings don't mention it.

I managed to work around it using Xlib calls, but is this (or can it be)
supported in Python Gtk3 ?

Example Python code:

* Gtk2
https://gist.github.com/johnlane/351adff97df196add08a#file-dockbar-gtk2-py-L68

* Gtk3
https://gist.github.com/johnlane/351adff97df196add08a#file-dockbar-gtk3-py-L85

Coding for Gtk is new to me, so forgive me if I'm looking in the wrong
place!

Thanks,
John