labelBox.add(new JButton(new ShowHidePrototypes())); labelBox.add(new JButton(new RefreshAction())); labelBox.add(Box.createHorizontalStrut(10));
    public Component createOtherComponent() {        super.createOtherComponent();        JPanel rightPanel = new JPanel(new BorderLayout());        rightPanel.add(editTable, BorderLayout.CENTER);        selectedLabel = new JLabel("selected:");        selectedFrameLabel = new JLabel("");        legend = FrameTreeView.createHorizontalFrameLegend();        Box labelBox = Box.createHorizontalBox();        labelBox.add(selectedLabel);        labelBox.add(Box.createHorizontalStrut(10));        labelBox.add(selectedFrameLabel);        labelBox.add(Box.createHorizontalGlue());        labelBox.add(legend);        rightPanel.add(labelBox, BorderLayout.NORTH);        return rightPanel;    }