initComponents();
ActionMap actionMap = getActionMap();
ToolbarPool.getDefault().setPreferredIconSize(16);
Toolbar toolBar = new Toolbar();
Border b = (Border) UIManager.get("Nb.Editor.Toolbar.border"); //NOI18N
toolBar.setBorder(b);
JPanel container = new JPanel();
this.add(container, BorderLayout.NORTH);
container.setLayout(new BorderLayout());
container.add(BorderLayout.NORTH, toolBar);
rangeSliderModel = new DiagramViewModel(diagram.getGraph().getGroup(), filterChain, sequence);
rangeSliderModel.selectGraph(diagram.getGraph());
rangeSlider = new RangeSlider();
rangeSlider.setModel(rangeSliderModel);
rangeSliderModel.getChangedEvent().addListener(this);
container.add(BorderLayout.CENTER, rangeSlider);
scene = new DiagramScene(actions, rangeSliderModel);
content = new InstanceContent();
this.associateLookup(new ProxyLookup(new Lookup[]{scene.getLookup(), new AbstractLookup(content)}));
content.add(exportCookie);
content.add(rangeSliderModel);
findPanel = new FindPanel(diagram.getFigures());
findPanel.setMaximumSize(new Dimension(200, 50));
toolBar.add(findPanel);
toolBar.add(NodeFindAction.get(NodeFindAction.class));
toolBar.addSeparator();
toolBar.add(NextDiagramAction.get(NextDiagramAction.class));
toolBar.add(PrevDiagramAction.get(PrevDiagramAction.class));
toolBar.addSeparator();
toolBar.add(ExtractAction.get(ExtractAction.class));
toolBar.add(ShowAllAction.get(HideAction.class));
toolBar.add(ShowAllAction.get(ShowAllAction.class));
toolBar.addSeparator();
toolBar.add(ShowAllAction.get(ZoomInAction.class));
toolBar.add(ShowAllAction.get(ZoomOutAction.class));
blockLayoutAction = new EnableBlockLayoutAction();
JToggleButton button = new JToggleButton(blockLayoutAction);
button.setSelected(true);
toolBar.add(button);
blockLayoutAction.addPropertyChangeListener(this);
overviewAction = new OverviewAction();
overviewButton = new JToggleButton(overviewAction);
overviewButton.setSelected(false);
toolBar.add(overviewButton);
overviewAction.addPropertyChangeListener(this);
predSuccAction = new PredSuccAction();
button = new JToggleButton(predSuccAction);
button.setSelected(true);
toolBar.add(button);
predSuccAction.addPropertyChangeListener(this);
toolBar.addSeparator();
toolBar.add(UndoAction.get(UndoAction.class));
toolBar.add(RedoAction.get(RedoAction.class));
centerPanel = new JPanel();
this.add(centerPanel, BorderLayout.CENTER);
cardLayout = new CardLayout();
centerPanel.setLayout(cardLayout);