… | |
… | |
284 | delete [] pix_colors_focused; |
284 | delete [] pix_colors_focused; |
285 | #if OFF_FOCUS_FADING |
285 | #if OFF_FOCUS_FADING |
286 | delete [] pix_colors_unfocused; |
286 | delete [] pix_colors_unfocused; |
287 | #endif |
287 | #endif |
288 | |
288 | |
|
|
289 | #ifdef HAVE_BG_PIXMAP |
289 | bgPixmap.destroy (); |
290 | bgPixmap.destroy (); |
|
|
291 | #endif |
290 | displays.put (display); |
292 | displays.put (display); |
291 | |
293 | |
292 | scr_release (); |
294 | scr_release (); |
293 | |
295 | |
294 | /* clear all resources */ |
296 | /* clear all resources */ |
… | |
… | |
306 | delete envv; |
308 | delete envv; |
307 | delete argv; |
309 | delete argv; |
308 | |
310 | |
309 | #ifdef KEYSYM_RESOURCE |
311 | #ifdef KEYSYM_RESOURCE |
310 | delete keyboard; |
312 | delete keyboard; |
|
|
313 | #endif |
|
|
314 | #ifndef NO_RESOURCES |
|
|
315 | XrmDestroyDatabase (option_db); |
311 | #endif |
316 | #endif |
312 | } |
317 | } |
313 | |
318 | |
314 | // child has exited, usually destroys |
319 | // child has exited, usually destroys |
315 | void |
320 | void |