/[gzz]/gzz/gzz/view/MarkDecorator.java
ViewVC logotype

Diff of /gzz/gzz/view/MarkDecorator.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.8 by tjl, Tue Oct 15 13:29:18 2002 UTC revision 1.9 by benja, Mon Oct 28 00:17:54 2002 UTC
# Line 42  public class MarkDecorator implements Fa Line 42  public class MarkDecorator implements Fa
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;
# Line 57  public class MarkDecorator implements Fa Line 57  public class MarkDecorator implements Fa
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    

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26