debugger/swing_utils/src/main/com/thesett/aima/logic/fol/wam/debugger/swing/JTextGrid.java
protected Dimension computeGridSize()
    {
        int cols = model.getWidth();
        int rows = model.getHeight();

        int horizSeparatorSize = 0;

        for (int size : model.getHorizontalSeparators().values())
        {
            horizSeparatorSize += size;
        }

        int vertSeparatorSize = 0;

        for (int size : model.getVerticalSeparators().values())
        {
            vertSeparatorSize += size;
        }

        return new Dimension(vertSeparatorSize + colToX(cols), horizSeparatorSize + rowToY(rows));
    }
protected Dimension computeGridSize()
    {
        int cols = model.getWidth();
        int rows = model.getHeight();

        int horizSeparatorSize = 0;

        for (int size : model.getHorizontalSeparators().values())
        {
            horizSeparatorSize += size;
        }

        int vertSeparatorSize = 0;

        for (int size : model.getVerticalSeparators().values())
        {
            vertSeparatorSize += size;
        }

        return new Dimension(vertSeparatorSize + colToX(cols), horizSeparatorSize + rowToY(rows));
    }
Computes the rendered dimensions of the text grid model, on screen. Used for sizing this component.

@return The on-screen dimensions of the rendered text grid model.