src/Tools/jEdit/src/documentation_dockable.scala

--- a/src/Tools/jEdit/src/documentation_dockable.scala	Wed Aug 05 20:04:21 2015 +0200
+++ b/src/Tools/jEdit/src/documentation_dockable.scala	Wed Aug 05 20:19:51 2015 +0200
@@ -120,7 +120,7 @@
   }
 
   private val tree_view = new JScrollPane(tree)
-  tree_view.setMinimumSize(new Dimension(100, 50))
+  tree_view.setMinimumSize(new Dimension(200, 50))
 
   set_content(tree_view)
 }