| 85 | } |
| 86 | |
| 87 | void DockWidget::openStateChanged(bool open) |
| 88 | { |
| 89 | // The LayoutSaver class will close a bunch of dock widgets. We only want to |
| 90 | // delete the dock widgets when they're being closed by the user. |
| 91 | if (KDDockWidgets::LayoutSaver::restoreInProgress()) |
| 92 | return; |
| 93 | |
| 94 | if (!open && g_debugger_window) |
| 95 | g_debugger_window->dockManager().destroyDebuggerView(uniqueName()); |
| 96 | } |
| 97 | |
| 98 | // ***************************************************************************** |
| 99 |
nothing calls this directly
no test coverage detected