D8140: Always create Documentation tool view, fix it to work with no providers

[René J.V. Bertin]

rjvbb added a comment.


  Sadly this causes https://bugs.kde.org/show_bug.cgi?id=385392

REPOSITORY
  R32 KDevelop

REVISION DETAIL
  https://phabricator.kde.org/D8140

To: kossebau, #kdevelop, apol
Cc: rjvbb, kdevelop-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20171005/50c5d11a/attachment.html>