Examples of XJRotableToggleButton

Examples of org.antlr.xjlib.appkit.swing.XJRotableToggleButton

217
218
219
220
221
222
223
224
225
226
227
228
229
        b.add(Box.createHorizontalGlue());
        return b;
    }

    public XJRotableToggleButton createToggleButton(String title, final int tag, Component c) {
        XJRotableToggleButton b = new XJRotableToggleButton(title);
        b.setFocusable(false);
        b.addActionListener(new ActionListener() {
            public void actionPerformed(ActionEvent e) {
                performToggleButtonAction(tag);
            }

        });
View Full Code Here

Examples of org.antlr.xjlib.appkit.swing.XJRotableToggleButton

250
251
252
253
254
255
256
257
        splitPanel.setComponents(inputPanel, parseTreePanel, stackPanel);
    }

    public void setComponentVisible(Component c, boolean flag) {
        c.setVisible(flag);
        XJRotableToggleButton b = components2toggle.get(c);
        b.setSelected(flag);
    }
View Full Code Here

Examples of org.antlr.xjlib.appkit.swing.XJRotableToggleButton

698
699
700
701
702
703
704
705
706
707
        Component c = splitPanel.getComponentAtIndex(panel.getTag());
        if(c != null) {
            c.setVisible(false);
            splitPanel.setComponent(null, panel.getTag());

            XJRotableToggleButton button = components2toggle.get(c);
            button.setSelected(false);
        }
        splitPanel.setComponent(panel, panel.getTag());
    }
View Full Code Here

Examples of org.antlr.xjlib.appkit.swing.XJRotableToggleButton

705
706
707
708
709
710
711
712
        }
        splitPanel.setComponent(panel, panel.getTag());
    }

    public void panelDoClose(DetachablePanel panel) {
        XJRotableToggleButton button = components2toggle.get(panel);
        button.setSelected(false);
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.