41 |
* Draws a filled (possibly with several colors) background circle, |
* Draws a filled (possibly with several colors) background circle, |
42 |
* surrounded by a circle of the current foreground color. |
* surrounded by a circle of the current foreground color. |
43 |
*/ |
*/ |
44 |
public class OvalBgVob extends Vob { |
public class OvalBgVob extends AbstractVob { |
45 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
46 |
public static boolean dbg = false; |
public static boolean dbg = false; |
47 |
private static final void p(String s) { if(dbg) System.out.println(s); } |
private static final void p(String s) { if(dbg) System.out.println(s); } |