| 315 | } |
| 316 | |
| 317 | void WidgetManager::uninitializeWidget(Widget * w) |
| 318 | { |
| 319 | // stop watching the widget's working directory |
| 320 | fsManager->removeObject(w); |
| 321 | |
| 322 | // TerminateProcess this widget's process |
| 323 | if (!w->application.isEmpty() && w->hProcess) |
| 324 | TerminateProcess(w->hProcess, 0); |
| 325 | |
| 326 | // delete this widget |
| 327 | _widgets.erase(find(_widgets.begin(), _widgets.end(), w)); |
| 328 | SAFE_DELETE(w); |
| 329 | } |
| 330 | |
| 331 | void WidgetManager::initializeActiveWidgets() |
| 332 | { |