Parent Directory | Revision Log | Patch
revision 1.5 by mark, Thu Nov 11 22:36:45 2004 UTC | revision 1.6 by mkoch, Thu Dec 16 19:10:04 2004 UTC | |
---|---|---|
# | Line 191 public class BasicTableHeaderUI | Line 191 public class BasicTableHeaderUI |
191 | int spacing = 0; | int spacing = 0; |
192 | ||
193 | if (header.getTable() != null | if (header.getTable() != null |
194 | && header.getTable().getInterCellSpacing() != null) | && header.getTable().getIntercellSpacing() != null) |
195 | spacing = header.getTable().getInterCellSpacing().width; | spacing = header.getTable().getIntercellSpacing().width; |
196 | ||
197 | for (int i = 0; i < ncols; ++i) | for (int i = 0; i < ncols; ++i) |
198 | { | { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |