changeset 59390 | 7cab7fdf6048 |
parent 57920 | c1953856cfca |
child 60292 | ba3c716144dd |
--- 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)