GdkWindow::property_change

void property_change();