diff options
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/Gui.java')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/Gui.java | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/Gui.java b/src/main/java/cuchaz/enigma/gui/Gui.java index c419aae..a604323 100644 --- a/src/main/java/cuchaz/enigma/gui/Gui.java +++ b/src/main/java/cuchaz/enigma/gui/Gui.java | |||
| @@ -38,10 +38,7 @@ import de.sciss.syntaxpane.DefaultSyntaxKit; | |||
| 38 | import javax.swing.*; | 38 | import javax.swing.*; |
| 39 | import javax.swing.text.BadLocationException; | 39 | import javax.swing.text.BadLocationException; |
| 40 | import javax.swing.text.Highlighter; | 40 | import javax.swing.text.Highlighter; |
| 41 | import javax.swing.tree.DefaultMutableTreeNode; | 41 | import javax.swing.tree.*; |
| 42 | import javax.swing.tree.DefaultTreeModel; | ||
| 43 | import javax.swing.tree.TreeNode; | ||
| 44 | import javax.swing.tree.TreePath; | ||
| 45 | import java.awt.*; | 42 | import java.awt.*; |
| 46 | import java.awt.event.*; | 43 | import java.awt.event.*; |
| 47 | import java.nio.file.Path; | 44 | import java.nio.file.Path; |
| @@ -153,7 +150,7 @@ public class Gui { | |||
| 153 | inheritanceTree.addMouseListener(new MouseAdapter() { | 150 | inheritanceTree.addMouseListener(new MouseAdapter() { |
| 154 | @Override | 151 | @Override |
| 155 | public void mouseClicked(MouseEvent event) { | 152 | public void mouseClicked(MouseEvent event) { |
| 156 | if (event.getClickCount() == 2) { | 153 | if (event.getClickCount() >= 2) { |
| 157 | // get the selected node | 154 | // get the selected node |
| 158 | TreePath path = inheritanceTree.getSelectionPath(); | 155 | TreePath path = inheritanceTree.getSelectionPath(); |
| 159 | if (path == null) { | 156 | if (path == null) { |
| @@ -173,6 +170,9 @@ public class Gui { | |||
| 173 | } | 170 | } |
| 174 | } | 171 | } |
| 175 | }); | 172 | }); |
| 173 | TreeCellRenderer cellRenderer = inheritanceTree.getCellRenderer(); | ||
| 174 | inheritanceTree.setCellRenderer(new MethodTreeCellRenderer((DefaultTreeCellRenderer) cellRenderer)); | ||
| 175 | |||
| 176 | JPanel inheritancePanel = new JPanel(); | 176 | JPanel inheritancePanel = new JPanel(); |
| 177 | inheritancePanel.setLayout(new BorderLayout()); | 177 | inheritancePanel.setLayout(new BorderLayout()); |
| 178 | inheritancePanel.add(new JScrollPane(inheritanceTree)); | 178 | inheritancePanel.add(new JScrollPane(inheritanceTree)); |
| @@ -183,7 +183,7 @@ public class Gui { | |||
| 183 | implementationsTree.addMouseListener(new MouseAdapter() { | 183 | implementationsTree.addMouseListener(new MouseAdapter() { |
| 184 | @Override | 184 | @Override |
| 185 | public void mouseClicked(MouseEvent event) { | 185 | public void mouseClicked(MouseEvent event) { |
| 186 | if (event.getClickCount() == 2) { | 186 | if (event.getClickCount() >= 2) { |
| 187 | // get the selected node | 187 | // get the selected node |
| 188 | TreePath path = implementationsTree.getSelectionPath(); | 188 | TreePath path = implementationsTree.getSelectionPath(); |
| 189 | if (path == null) { | 189 | if (path == null) { |
| @@ -212,7 +212,7 @@ public class Gui { | |||
| 212 | @SuppressWarnings("unchecked") | 212 | @SuppressWarnings("unchecked") |
| 213 | @Override | 213 | @Override |
| 214 | public void mouseClicked(MouseEvent event) { | 214 | public void mouseClicked(MouseEvent event) { |
| 215 | if (event.getClickCount() == 2) { | 215 | if (event.getClickCount() >= 2) { |
| 216 | // get the selected node | 216 | // get the selected node |
| 217 | TreePath path = callsTree.getSelectionPath(); | 217 | TreePath path = callsTree.getSelectionPath(); |
| 218 | if (path == null) { | 218 | if (path == null) { |