debugger/swing_utils/src/main/com/thesett/aima/logic/fol/wam/debugger/swing/DesktopAppLayout.java
public Dimension preferredLayoutSize(Container parent)
    {
        Insets insets = parent.getInsets();

        return new Dimension(insets.left + insets.right, insets.top + insets.bottom);
    }
public Dimension preferredLayoutSize(Container parent)
    {
        Insets insets = parent.getInsets();

        return new Dimension(insets.left + insets.right, insets.top + insets.bottom);
    }
{@inheritDoc}