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);
    }
public Dimension preferredLayoutSize ( Container parent ) { Insets insets = parent . getInsets ( ) ; return new Dimension ( insets . left + insets . right , insets . top + insets . bottom ) ; }
{@inheritDoc}
{