Parent Directory | Revision Log | Patch
revision 1.6.2.3 by gnu_andrew, Sun Jan 16 02:14:49 2005 UTC | revision 1.6.2.4 by gnu_andrew, Sun Jan 16 15:15:13 2005 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 |