42 |
java.awt.Dimension boxsize = new java.awt.Dimension(); |
java.awt.Dimension boxsize = new java.awt.Dimension(); |
43 |
cv.getDefaultSize(1, boxsize); |
cv.getDefaultSize(1, boxsize); |
44 |
|
|
45 |
int n = fallback.binder.marks.size(); |
int n = DefaultBinder.marks.size(); |
46 |
if(n == 0) return; |
if(n == 0) return; |
47 |
|
|
48 |
float w = boxsize.width, h = n * boxsize.height; |
float w = boxsize.width, h = n * boxsize.height; |
57 |
Box b = new Box(); |
Box b = new Box(); |
58 |
|
|
59 |
for(int i=0; i<n; i++) { |
for(int i=0; i<n; i++) { |
60 |
Mark m = (Mark)fallback.binder.marks.get(i); |
Mark m = (Mark)DefaultBinder.marks.get(i); |
61 |
if(m.spans != null) return; // for now-- should show span(s) |
if(m.spans != null) return; // for now-- should show span(s) |
62 |
Cell c = m.cell; |
Cell c = m.cell; |
63 |
|
|