Re: [cp-patches] Patch: Scroll pane containing a JList with a preferred size.

[Tom Tromey]

>>>>> "Lillian" == Lillian Angel <address@hidden> writes:

A small formatting nit ...

Lillian> +      if (p instanceof JScrollPane && !vd.equals( new Dimension() ))
Lillian> +              ( (JScrollPane) p ).setPreferredSize( vd );

The spaces are in the wrong places here.  Should be:

        if (p instanceof JScrollPane && !vd.equals (new Dimension()))
                ((JScrollPane) p).setPreferredSize(vd);

Tom