summaryrefslogtreecommitdiff
path: root/src/main/java/cuchaz/enigma/gui/Gui.java
diff options
context:
space:
mode:
authorGravatar liach2019-02-24 12:43:41 -0800
committerGravatar Gegy2019-02-24 22:43:41 +0200
commitad49f6d08133253b5e2e54cc13fe3a54d85bf8d6 (patch)
tree81feffbf613a13d386eddb98a8df901e8b19e303 /src/main/java/cuchaz/enigma/gui/Gui.java
parentFix name duplication checking not occurring on root classes (diff)
downloadenigma-fork-ad49f6d08133253b5e2e54cc13fe3a54d85bf8d6.tar.gz
enigma-fork-ad49f6d08133253b5e2e54cc13fe3a54d85bf8d6.tar.xz
enigma-fork-ad49f6d08133253b5e2e54cc13fe3a54d85bf8d6.zip
Adds a red highlight for overridden methods in method inheritance tree gui (#112)
* Make implemented method nodes in inheritance ui more obvious Signed-off-by: liach <liach@users.noreply.github.com> * Make the text green and italic instead Signed-off-by: liach <liach@users.noreply.github.com> * Update again for the new tree gen Also tweaked new tree gen to show only useful branch nodes Signed-off-by: liach <liach@users.noreply.github.com>
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/Gui.java')
-rw-r--r--src/main/java/cuchaz/enigma/gui/Gui.java14
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;
38import javax.swing.*; 38import javax.swing.*;
39import javax.swing.text.BadLocationException; 39import javax.swing.text.BadLocationException;
40import javax.swing.text.Highlighter; 40import javax.swing.text.Highlighter;
41import javax.swing.tree.DefaultMutableTreeNode; 41import javax.swing.tree.*;
42import javax.swing.tree.DefaultTreeModel;
43import javax.swing.tree.TreeNode;
44import javax.swing.tree.TreePath;
45import java.awt.*; 42import java.awt.*;
46import java.awt.event.*; 43import java.awt.event.*;
47import java.nio.file.Path; 44import 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) {