commit fb7e1ec34b91ac13a9a21f6df5d2afed7eb13537
branch all-tooldocker-boemann
Author: Casper Boemann <cbo@boemann.dk>
Date:   Fri Dec 31 23:52:48 2010 +0100

    but tool options docker should always become visible
    
    we'll leave the tool bars docker default off for now

diff --git a/libs/main/KoDockerManager.cpp b/libs/main/KoDockerManager.cpp
index 661a57e..506501f 100644
--- a/libs/main/KoDockerManager.cpp
+++ b/libs/main/KoDockerManager.cpp
@@ -94,6 +94,7 @@ public:
     {
         ignore = false;
         moveToolBars();
+        toolOptionsDocker->setVisible(true); // should always be visible
     }
 
     void moveToolBarsBack()