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));
    }
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.
Computes the rendered dimensions of the text grid model on screen . Used for sizing this component .