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; |
|
static CellView cv = new BoxCellView(); |
|
36 |
static TextStyle style = |
static TextStyle style = |
37 |
GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12); |
GraphicsAPI.getInstance().getTextStyle("SansSerif", Font.PLAIN, 12); |
38 |
static String str = "Marked cells:"; |
static String str = "Marked cells:"; |
42 |
Fallback.Win win) { |
Fallback.Win win) { |
43 |
float[] size = new float[2]; |
float[] size = new float[2]; |
44 |
|
|
45 |
|
CellView cv = win.getCellView(); |
46 |
cv.getSize(null, win, size); |
cv.getSize(null, win, size); |
47 |
|
|
48 |
int n = DefaultBinder.marks.size(); |
int n = DefaultBinder.marks.size(); |