18 |
import java.util.HashSet; |
import java.util.HashSet; |
19 |
|
|
20 |
public class MMTextCursor { |
public class MMTextCursor { |
21 |
public static final String rcsid = ""; |
public static final String rcsid = "$Id$"; |
22 |
public static final float DEFAULT_SCALE = 1f; |
public static final float DEFAULT_SCALE = 1f; |
23 |
public static final Color DEFAULT_COLOR = Color.black; |
public static final Color DEFAULT_COLOR = Color.black; |
24 |
static class NotYetRenderedException extends Exception {} |
static class NotYetRenderedException extends Exception {} |