equal
deleted
inserted
replaced
58 case _ => None |
58 case _ => None |
59 } |
59 } |
60 if (detach_operation.isDefined) { |
60 if (detach_operation.isDefined) { |
61 val detach_item = new JMenuItem("Detach") |
61 val detach_item = new JMenuItem("Detach") |
62 detach_item.addActionListener(new ActionListener { |
62 detach_item.addActionListener(new ActionListener { |
63 def actionPerformed(evt: ActionEvent) { detach_operation.get.apply() } |
63 def actionPerformed(evt: ActionEvent): Unit = detach_operation.get.apply() |
64 }) |
64 }) |
65 menu.add(detach_item) |
65 menu.add(detach_item) |
66 } |
66 } |
67 |
67 |
68 menu |
68 menu |