… | |
… | |
197 | termlist.push_back (this); |
197 | termlist.push_back (this); |
198 | |
198 | |
199 | #ifdef KEYSYM_RESOURCE |
199 | #ifdef KEYSYM_RESOURCE |
200 | keyboard = new keyboard_manager; |
200 | keyboard = new keyboard_manager; |
201 | #endif |
201 | #endif |
202 | |
|
|
203 | // this->envv = 0; |
|
|
204 | } |
202 | } |
205 | |
203 | |
206 | // clean up the most important stuff, do *not* call x or free mem etc. |
204 | // clean up the most important stuff, do *not* call x or free mem etc. |
207 | // for use before an emergency exit |
205 | // for use before an emergency exit |
208 | void |
206 | void |