[patch] Toggle shown docks

[Manuel Breugelmans]

Especially on small screens toolviews consume a lot of space. I find myself 
constantly hiding/showing toolviews manually. The current hideAllDocks slot in 
IdealMainWidget is defunct, so I've fixed it in the attached patch + modified it 
a bit so that it restores previously hidden views on the next call.

IdealMainWidget seems to contain more dead code related to this, can someone 
confirm?


Manuel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: toggleShownTools.patch
Type: text/x-patch
Size: 4439 bytes
Desc: not available
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20080808/9d2f12dc/attachment.patch>