Currently, I am changing X11 properties to make a window dock at side on certain monitor.
This requires going through gdk_property_change
, as I do not know how to access X11 display pointer from Gdk window. Obviously, this was removed in GTK4.
However, I cannot find the alternative in corresponding gdkx11
library. How do I change X11 properties, and perhaps, send X11 events for the display connection?
EDIT: Nevermind, there was a function getting Display pointer from X11Display to do this stuff… and that works.