| … | |
… | |
| 226 | if (fontset[i] != fontset[0]) |
226 | if (fontset[i] != fontset[0]) |
| 227 | delete fontset[i]; |
227 | delete fontset[i]; |
| 228 | #endif |
228 | #endif |
| 229 | delete fontset[0]; |
229 | delete fontset[0]; |
| 230 | |
230 | |
|
|
231 | #ifdef HAVE_BG_PIXMAP |
|
|
232 | bgPixmap.destroy (); |
|
|
233 | #endif |
|
|
234 | |
| 231 | if (display) |
235 | if (display) |
| 232 | { |
236 | { |
| 233 | selection_clear (); |
237 | selection_clear (); |
| 234 | |
238 | |
| 235 | #ifdef USE_XIM |
239 | #ifdef USE_XIM |
| … | |
… | |
| 274 | pix_colors_unfocused [i].free (this); |
278 | pix_colors_unfocused [i].free (this); |
| 275 | #endif |
279 | #endif |
| 276 | } |
280 | } |
| 277 | |
281 | |
| 278 | clear (); |
282 | clear (); |
| 279 | } |
|
|
| 280 | |
283 | |
| 281 | #ifdef HAVE_BG_PIXMAP |
|
|
| 282 | bgPixmap.destroy (); |
|
|
| 283 | #endif |
|
|
| 284 | display->flush (); /* ideally .put should do this */ |
284 | display->flush (); /* ideally .put should do this */ |
| 285 | displays.put (display); |
285 | displays.put (display); |
|
|
286 | } |
| 286 | |
287 | |
| 287 | scr_release (); |
288 | scr_release (); |
| 288 | |
289 | |
| 289 | /* clear all resources */ |
290 | /* clear all resources */ |
| 290 | for (int i = 0; i < allocated.size (); i++) |
291 | for (int i = 0; i < allocated.size (); i++) |
