|
@@ -128,7 +128,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
private String catOfObjToBeEdited;
|
|
|
private final JScrollPane statTab = new JScrollPane();
|
|
|
|
|
|
- private splitPane statSplitPane;
|
|
|
+ private SplitPane statSplitPane;
|
|
|
private JScrollPane statScrollPane;
|
|
|
private UpperNodeCanvas unc;
|
|
|
private JPanel contentPane;
|
|
@@ -282,7 +282,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
public GUI(Control control) {
|
|
|
this.controller = control;
|
|
|
this.model = control.getModel();
|
|
|
- statSplitPane = new splitPane(controller);
|
|
|
+ statSplitPane = new SplitPane(controller);
|
|
|
model.addGraphListener(statSplitPane);
|
|
|
statScrollPane = new JScrollPane(statSplitPane);
|
|
|
this.canvas = new MyCanvas(model, control);
|