39 |
private static void p(String s) { if(dbg) pa(s); } |
private static void p(String s) { if(dbg) pa(s); } |
40 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
41 |
|
|
42 |
static TextStyle style = |
static TextStyle style = null; |
|
GraphicsAPI.getInstance().getTextStyle("SansSerif", java.awt.Font.PLAIN, 12); |
|
43 |
|
|
44 |
static Vob bg = new RectBgVob(); |
static Vob bg = new RectBgVob(); |
45 |
static Vob conn = new SimpleConnection(0.5f, 0.5f, 0.5f, 0.5f, Color.red); |
static Vob conn = new SimpleConnection(0.5f, 0.5f, 0.5f, 0.5f, Color.red); |
53 |
int space = 2; |
int space = 2; |
54 |
|
|
55 |
public void render(VobScene sc, int into, Fallback fallback, Fallback.Win win) { |
public void render(VobScene sc, int into, Fallback fallback, Fallback.Win win) { |
56 |
|
if(style == null) |
57 |
|
style = GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12); |
58 |
//p("Placing DimDecorations"); |
//p("Placing DimDecorations"); |
59 |
|
|
60 |
int ndims = win.dimsIndices.length; |
int ndims = win.dimsIndices.length; |