dev-util/kdevelop/files/kdevelop-3.0.0_beta2-mainwindow.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14

--- src/mainwindow.cpp.orig	2003-12-10 07:52:33.000000000 -0500
+++ src/mainwindow.cpp	2003-12-10 07:53:09.000000000 -0500
@@ -602,9 +602,8 @@
   }
   
   if( pDock ) {
-	deleteToolWindow(view);
-/*    pDock->undock();
-    delete (KDockWidget*) pDock;*/
+    pDock->undock();
+    delete (KDockWidget*) pDock;
   }
   else {
     kdDebug(9000) << "pDock already destroyed!!" << endl;