// rightPanel.add(treeView, BorderLayout.CENTER);
JSplitPane rightPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, treeView, propsView);
rightPane.setResizeWeight(1.0);
rightPane.setPreferredSize(new Dimension(150, 250));
graphView = new GraphView(document);
JScrollPane graphicView = new JScrollPane(graphView);
graphicView.setPreferredSize(new Dimension(550, 250));
rightPane.setMaximumSize(new Dimension());