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;
    }
{@inheritDoc}