Package org.antlr.works.utils

Examples of org.antlr.works.utils.Toolbar.addElement()

299
300
301
302
303
304
305
306
307
308
309
    private Container createControlPane() {
        Toolbar box = Toolbar.createHorizontalToolbar();

        box.addElement(new JLabel("Zoom"));
        box.addElement(createFactorSlider());

        //box.addElement(new JLabel("Line space"));
        //box.addElement(createLineSpaceSlider());

        //box.addElement(new JLabel("Epsilon width"));
View Full Code Here
309
310
311
312
313
314
315
316
317
318
319
        //box.addElement(new JLabel("Epsilon width"));
        //box.addElement(createEpsilonWidthSlider());

        //box.add(createDrawNodeButton());
        //box.add(createDrawDimensionButton());
        box.addElement(new JLabel("Show:"));
        box.addElement(createShowNFAButton());
        box.addElement(createShowRuleNameButton());
        //box.add(createUseCacheButton());

        //box.setPreferredSize(new Dimension(160, 0));
View Full Code Here
310
311
312
313
314
315
316
317
318
319
320
        //box.addElement(createEpsilonWidthSlider());

        //box.add(createDrawNodeButton());
        //box.add(createDrawDimensionButton());
        box.addElement(new JLabel("Show:"));
        box.addElement(createShowNFAButton());
        box.addElement(createShowRuleNameButton());
        //box.add(createUseCacheButton());

        //box.setPreferredSize(new Dimension(160, 0));
        return box;
View Full Code Here
311
312
313
314
315
316
317
318
319
320
321
        //box.add(createDrawNodeButton());
        //box.add(createDrawDimensionButton());
        box.addElement(new JLabel("Show:"));
        box.addElement(createShowNFAButton());
        box.addElement(createShowRuleNameButton());
        //box.add(createUseCacheButton());

        //box.setPreferredSize(new Dimension(160, 0));
        return box;
    }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
        JScrollPane scrollPane = new JScrollPane(tree);
        scrollPane.setWheelScrollingEnabled(true);
        scrollPane.setBackground(Color.white);

        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(createExpandAllButton());
        box.addElement(createCollapseAllButton());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsGraphButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
        scrollPane.setWheelScrollingEnabled(true);
        scrollPane.setBackground(Color.white);

        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(createExpandAllButton());
        box.addElement(createCollapseAllButton());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsGraphButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(createExpandAllButton());
        box.addElement(createCollapseAllButton());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsGraphButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));

        panel.add(scrollPane, BorderLayout.CENTER);
        panel.add(box, BorderLayout.SOUTH);
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
        graphScrollPane = new JScrollPane(treeGraphView);
        graphScrollPane.setWheelScrollingEnabled(true);

        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(new JLabel("Zoom"));
        box.addElement(createZoomSlider());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsListButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
        graphScrollPane = new JScrollPane(treeGraphView);
        graphScrollPane.setWheelScrollingEnabled(true);

        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(new JLabel("Zoom"));
        box.addElement(createZoomSlider());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsListButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
        Toolbar box = Toolbar.createHorizontalToolbar();
        box.addElement(new JLabel("Zoom"));
        box.addElement(createZoomSlider());
        box.add(Box.createHorizontalGlue());
        box.addElement(createDisplayAsListButton());
        //if(XJSystem.isMacOS())
        //    box.add(Box.createHorizontalStrut(15));

        panel.add(graphScrollPane, BorderLayout.CENTER);
        panel.add(box, BorderLayout.SOUTH);
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.