debugger/debug_ui_tools_swing/src/main/com/thesett/aima/logic/fol/wam/debugger/uifactory/impl/SwingComponentFactory.java
public JComponent createTextGridPanel(EnhancedTextGrid model)
    {
        JTextGrid textPane = new JTextGrid();

        textPane.setBackground(colorScheme.getBackground());
        textPane.setForeground(colorScheme.getMainText());
        textPane.setAutoscrolls(true);

        Font font = new Font("DejaVu Sans Mono", Font.PLAIN, 12);
        textPane.setFont(font);
        textPane.setModel(model);
        textPane.initializeStandardMouseHandling();

        JScrollPane scrollPane =
            new JScrollPane(textPane, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
                ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
        scrollPane.getVerticalScrollBar().setUI(new DiscreetScrollBarUI(toolingColorScheme));
        scrollPane.getHorizontalScrollBar().setUI(new DiscreetScrollBarUI(toolingColorScheme));
        scrollPane.setBorder(BorderFactory.createEmptyBorder());
        scrollPane.getViewport().setLayout(new FillViewportLayout());

        return scrollPane;
    }
public JComponent createTextGridPanel(EnhancedTextGrid model)
    {
        JTextGrid textPane = new JTextGrid();

        textPane.setBackground(colorScheme.getBackground());
        textPane.setForeground(colorScheme.getMainText());
        textPane.setAutoscrolls(true);

        Font font = new Font("DejaVu Sans Mono", Font.PLAIN, 12);
        textPane.setFont(font);
        textPane.setModel(model);
        textPane.initializeStandardMouseHandling();

        JScrollPane scrollPane =
            new JScrollPane(textPane, ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED,
                ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED);
        scrollPane.getVerticalScrollBar().setUI(new DiscreetScrollBarUI(toolingColorScheme));
        scrollPane.getHorizontalScrollBar().setUI(new DiscreetScrollBarUI(toolingColorScheme));
        scrollPane.setBorder(BorderFactory.createEmptyBorder());
        scrollPane.getViewport().setLayout(new FillViewportLayout());

        return scrollPane;
    }
public JComponent createTextGridPanel ( EnhancedTextGrid model ) { JTextGrid textPane = new JTextGrid ( ) ; textPane . setBackground ( colorScheme . getBackground ( ) ) ; textPane . setForeground ( colorScheme . getMainText ( ) ) ; textPane . setAutoscrolls ( true ) ; Font font = new Font ( "DejaVu Sans Mono" , Font . PLAIN , 12 ) ; textPane . setFont ( font ) ; textPane . setModel ( model ) ; textPane . initializeStandardMouseHandling ( ) ; JScrollPane scrollPane = new JScrollPane ( textPane , ScrollPaneConstants . VERTICAL_SCROLLBAR_AS_NEEDED , ScrollPaneConstants . HORIZONTAL_SCROLLBAR_AS_NEEDED ) ; scrollPane . getVerticalScrollBar ( ) . setUI ( new DiscreetScrollBarUI ( toolingColorScheme ) ) ; scrollPane . getHorizontalScrollBar ( ) . setUI ( new DiscreetScrollBarUI ( toolingColorScheme ) ) ; scrollPane . setBorder ( BorderFactory . createEmptyBorder ( ) ) ; scrollPane . getViewport ( ) . setLayout ( new FillViewportLayout ( ) ) ; return scrollPane ; }
{@inheritDoc}
{