File kddockwidgets-compat.patch of Package failed_hotspot

*** Begin Patch
*** Update File: src/mainwindow.cpp
@@
-    m_resultsPage->initDockWidgets(restored);
+    // KDDockWidgets API compatibility: some distributions ship an API that
+    // expects a QVector of DockWidgetBase* instead of Core::DockWidget*.
+    // Convert the vector when necessary to keep a single source tree.
+    QVector<KDDockWidgets::DockWidgetBase*> restoredBase;
+    restoredBase.reserve(restored.size());
+    for (auto w : restored) {
+        restoredBase.append(static_cast<KDDockWidgets::DockWidgetBase*>(w));
+    }
+    m_resultsPage->initDockWidgets(restoredBase);
*** End Patch