graphPanel.add(Box.createVerticalStrut(5));
graphPanel.add(new JSeparator());
graphPanel.add(Box.createVerticalStrut(5));
this.edgeInfoPanel = new EdgeInfoPanel(this);
graphPanel.add(this.edgeInfoPanel);
leftPanel.add(graphPanel, BorderLayout.CENTER);
// ----------------------------------------------