|
@@ -24,6 +24,7 @@ import javax.swing.JLabel;
|
|
import javax.swing.JMenuItem;
|
|
import javax.swing.JMenuItem;
|
|
import javax.swing.JPanel;
|
|
import javax.swing.JPanel;
|
|
import javax.swing.JPopupMenu;
|
|
import javax.swing.JPopupMenu;
|
|
|
|
+import javax.swing.JScrollPane;
|
|
import javax.swing.JToolTip;
|
|
import javax.swing.JToolTip;
|
|
|
|
|
|
import classes.CpsEdge;
|
|
import classes.CpsEdge;
|
|
@@ -109,7 +110,7 @@ public class UpperNodeCanvas extends JPanel implements MouseListener, MouseMotio
|
|
|
|
|
|
this.path = parentPath + upperNode.getName();
|
|
this.path = parentPath + upperNode.getName();
|
|
this.breadCrumb = new JLabel(path);
|
|
this.breadCrumb = new JLabel(path);
|
|
- this.add(breadCrumb);
|
|
|
|
|
|
+ //this.add(breadCrumb);
|
|
|
|
|
|
scalediv20 = model.getScale() / 20;
|
|
scalediv20 = model.getScale() / 20;
|
|
|
|
|
|
@@ -245,6 +246,7 @@ public class UpperNodeCanvas extends JPanel implements MouseListener, MouseMotio
|
|
public void paintComponent(Graphics g) {
|
|
public void paintComponent(Graphics g) {
|
|
String maxCap;
|
|
String maxCap;
|
|
super.paintComponent(g);
|
|
super.paintComponent(g);
|
|
|
|
+ ((JScrollPane)this.getParent().getParent()).setColumnHeaderView(breadCrumb);
|
|
// Rendering
|
|
// Rendering
|
|
g2 = (Graphics2D) g;
|
|
g2 = (Graphics2D) g;
|
|
RenderingHints rh = new RenderingHints(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
|
|
RenderingHints rh = new RenderingHints(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
|