Searched refs:window_attributes (Results 1 – 1 of 1) sorted by relevance
135 XSetWindowAttributes window_attributes; in PetscDrawXiDisplayWindow() local155 window_attributes.background_pixmap = None; in PetscDrawXiDisplayWindow()156 window_attributes.background_pixel = backgnd_pixel; in PetscDrawXiDisplayWindow()158 window_attributes.border_pixmap = None; in PetscDrawXiDisplayWindow()162 window_attributes.bit_gravity = in_window_attributes.bit_gravity; in PetscDrawXiDisplayWindow()163 window_attributes.win_gravity = in_window_attributes.win_gravity; in PetscDrawXiDisplayWindow()165 window_attributes.backing_store = NotUseful; in PetscDrawXiDisplayWindow()166 window_attributes.backing_pixel = backgnd_pixel; in PetscDrawXiDisplayWindow()167 window_attributes.save_under = 1; in PetscDrawXiDisplayWindow()168 window_attributes.event_mask = 0; in PetscDrawXiDisplayWindow()[all …]