[ruby-gnome2-devel-en] Is there a Gdk.Window.property_change method ?

[John L. <jo...@la...>]

I'd like to set window properties, specifically window manager hints
(such as _NET_WM_STRUT_PARTIAL). However, I cannot find an appropriate
method on Gdk.Window to do this. I would expect to be able to write
something like

    topw = toplevel.window
    topw.property_change("_NET_WM_STRUT","CARDINAL",32,
                         Gdk::PROP_MODE_REPLACE,
                         [0, 0, bar_size, 0])
    topw.property_change("_NET_WM_STRUT_PARTIAL","CARDINAL",32,
                         Gdk::PROP_MODE_REPLACE,
         [0, 0, bar_size, 0, 0, 0, 0, 0, x, x+width-1, 0, 0])


(I looked for methods like this `topw.methods.sort.each{|m| p m}`)

I can see in the source code that there is a commented-out TODO block
in file gdk3-no-gi/ext/gdk3-no-gi/rbgdkproperty.c with a call to
`gdk_property_change`. That's the only mention I can find. I expect this
means it's unimplemented ?