# HG changeset patch
# User wenzelm
# Date 1421598687 -3600
# Node ID 7cab7fdf604898d810a33c5cef5c326e829e1329
# Parent  c427f3de9050d844cd7e17472a3b2e7a225bce0a
no censorship of L&F;

diff -r c427f3de9050 -r 7cab7fdf6048 src/Tools/jEdit/src/documentation_dockable.scala
--- a/src/Tools/jEdit/src/documentation_dockable.scala	Sun Jan 18 12:50:36 2015 +0100
+++ b/src/Tools/jEdit/src/documentation_dockable.scala	Sun Jan 18 17:31:27 2015 +0100
@@ -49,8 +49,6 @@
 
   override def focusOnDefaultComponent { tree.requestFocusInWindow }
 
-  if (!OperatingSystem.isMacOSLF)
-    tree.putClientProperty("JTree.lineStyle", "Angled")
   tree.getSelectionModel.setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION)
 
   private def action(node: DefaultMutableTreeNode)