|
@@ -18,9 +18,6 @@ import javax.swing.event.TreeSelectionEvent;
|
|
|
import javax.swing.event.TreeSelectionListener;
|
|
import javax.swing.event.TreeSelectionListener;
|
|
|
import javax.swing.tree.DefaultMutableTreeNode;
|
|
import javax.swing.tree.DefaultMutableTreeNode;
|
|
|
import javax.swing.tree.DefaultTreeModel;
|
|
import javax.swing.tree.DefaultTreeModel;
|
|
|
-import javax.swing.tree.MutableTreeNode;
|
|
|
|
|
-import javax.swing.tree.TreeNode;
|
|
|
|
|
-
|
|
|
|
|
import DataSets.GraphDataSet;
|
|
import DataSets.GraphDataSet;
|
|
|
import DataSets.PropertyDataSet;
|
|
import DataSets.PropertyDataSet;
|
|
|
import classes.AbstractCpsObject;
|
|
import classes.AbstractCpsObject;
|
|
@@ -41,7 +38,6 @@ import java.awt.event.ActionListener;
|
|
|
import java.awt.event.ItemEvent;
|
|
import java.awt.event.ItemEvent;
|
|
|
import java.awt.event.ItemListener;
|
|
import java.awt.event.ItemListener;
|
|
|
|
|
|
|
|
-import javax.swing.border.CompoundBorder;
|
|
|
|
|
import javax.swing.border.LineBorder;
|
|
import javax.swing.border.LineBorder;
|
|
|
import javax.swing.JPopupMenu;
|
|
import javax.swing.JPopupMenu;
|
|
|
import java.awt.Component;
|
|
import java.awt.Component;
|
|
@@ -49,11 +45,8 @@ import java.awt.Dimension;
|
|
|
import java.awt.event.MouseAdapter;
|
|
import java.awt.event.MouseAdapter;
|
|
|
import java.awt.event.MouseEvent;
|
|
import java.awt.event.MouseEvent;
|
|
|
import javax.swing.JMenuItem;
|
|
import javax.swing.JMenuItem;
|
|
|
-import javax.swing.BorderFactory;
|
|
|
|
|
import javax.swing.Box;
|
|
import javax.swing.Box;
|
|
|
import javax.swing.BoxLayout;
|
|
import javax.swing.BoxLayout;
|
|
|
-import java.awt.FlowLayout;
|
|
|
|
|
-import java.awt.BorderLayout;
|
|
|
|
|
|
|
|
|
|
public class SplitPane extends JSplitPane implements GraphListener {
|
|
public class SplitPane extends JSplitPane implements GraphListener {
|
|
|
public static final String MAIN_GRID = "Main Grid";
|
|
public static final String MAIN_GRID = "Main Grid";
|
|
@@ -115,6 +108,7 @@ public class SplitPane extends JSplitPane implements GraphListener {
|
|
|
JLabel showPropertylbl;
|
|
JLabel showPropertylbl;
|
|
|
|
|
|
|
|
public SplitPane(Control cont) {
|
|
public SplitPane(Control cont) {
|
|
|
|
|
+ this.setBorder(null);
|
|
|
setContinuousLayout(true);
|
|
setContinuousLayout(true);
|
|
|
this.controller = cont;
|
|
this.controller = cont;
|
|
|
objectHashtable = new Hashtable<String, GraphDataSet>();
|
|
objectHashtable = new Hashtable<String, GraphDataSet>();
|
|
@@ -164,7 +158,9 @@ public class SplitPane extends JSplitPane implements GraphListener {
|
|
|
JScrollPane dataPane = new JScrollPane();
|
|
JScrollPane dataPane = new JScrollPane();
|
|
|
setLeftComponent(dataPane);
|
|
setLeftComponent(dataPane);
|
|
|
JPanel panel = new JPanel();
|
|
JPanel panel = new JPanel();
|
|
|
|
|
+ panel.setBorder(null);
|
|
|
dataPane.setViewportView(panel);
|
|
dataPane.setViewportView(panel);
|
|
|
|
|
+ dataPane.setBorder(null);
|
|
|
|
|
|
|
|
JScrollPane treeScrollPane = new JScrollPane();
|
|
JScrollPane treeScrollPane = new JScrollPane();
|
|
|
|
|
|
|
@@ -706,6 +702,7 @@ public class SplitPane extends JSplitPane implements GraphListener {
|
|
|
panel.setLayout(gl_panel);
|
|
panel.setLayout(gl_panel);
|
|
|
|
|
|
|
|
JScrollPane graphScrollPane = new JScrollPane();
|
|
JScrollPane graphScrollPane = new JScrollPane();
|
|
|
|
|
+ graphScrollPane.setBorder(null);
|
|
|
setRightComponent(graphScrollPane);
|
|
setRightComponent(graphScrollPane);
|
|
|
|
|
|
|
|
graphPanel = new JPanel();
|
|
graphPanel = new JPanel();
|
Kevin Trometer