equal
deleted
inserted
replaced
47 |
47 |
48 private val tree = new JTree(root) |
48 private val tree = new JTree(root) |
49 tree.setRowHeight(0) |
49 tree.setRowHeight(0) |
50 tree.getSelectionModel.setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION) |
50 tree.getSelectionModel.setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION) |
51 |
51 |
52 override def focusOnDefaultComponent { tree.requestFocusInWindow } |
52 override def focusOnDefaultComponent() { tree.requestFocusInWindow } |
53 |
53 |
54 private def action(node: DefaultMutableTreeNode) |
54 private def action(node: DefaultMutableTreeNode) |
55 { |
55 { |
56 node.getUserObject match { |
56 node.getUserObject match { |
57 case Text_File(_, path) => |
57 case Text_File(_, path) => |