31 |
public class SimpleBuoy implements BuoyPlacer.Buoy { |
public class SimpleBuoy implements BuoyPlacer.Buoy { |
32 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
33 |
public static boolean dbg = false; |
public static boolean dbg = false; |
|
private static void p(String s) { if(dbg) pa(s); } |
|
34 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
35 |
|
|
36 |
public int prefWidth, prefHeight, minWidth, minHeight; |
public int prefWidth, prefHeight, minWidth, minHeight; |