propertyChange

Changes the contents of a property on a window.

static
void
propertyChange

Parameters

window Window

a GdkWindow

property GdkAtom

the property to change

type GdkAtom

the new type for the property. If mode is GDK_PROP_MODE_PREPEND or GDK_PROP_MODE_APPEND, then this must match the existing type or an error will occur.

format int

the new format for the property. If mode is GDK_PROP_MODE_PREPEND or GDK_PROP_MODE_APPEND, then this must match the existing format or an error will occur.

mode GdkPropMode

a value describing how the new data is to be combined with the current data.

data char[]

the data (a guchar * gushort *, or gulong *, depending on format), cast to a guchar *.

Meta