33 |
public class MarkDecorator implements FallbackSceneDecorator { |
public class MarkDecorator implements FallbackSceneDecorator { |
34 |
static Object KEY = new Object(), TEXT_KEY = new Object(); |
static Object KEY = new Object(), TEXT_KEY = new Object(); |
35 |
static final int PAD = 10; |
static final int PAD = 10; |
36 |
static TextStyle style = |
static TextStyle style = null; |
|
GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12); |
|
37 |
static String str = "Marked cells:"; |
static String str = "Marked cells:"; |
38 |
|
|
39 |
|
|
40 |
public void render(VobScene vs, int into, Fallback fallback, |
public void render(VobScene vs, int into, Fallback fallback, |
41 |
Fallback.Win win) { |
Fallback.Win win) { |
42 |
|
if(style == null) |
43 |
|
style = GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12); |
44 |
float[] size = new float[2]; |
float[] size = new float[2]; |
45 |
|
|
46 |
CellView cv = win.getCellView(); |
CellView cv = win.getCellView(); |