1030 |
gfx.translate(-x, -y); |
gfx.translate(-x, -y); |
1031 |
} |
} |
1032 |
y += height; |
y += height; |
|
if (gap != null) |
|
|
y += gap.height; |
|
1033 |
} |
} |
1034 |
x += width; |
x += width; |
|
if (gap != null) |
|
|
x += gap.width; |
|
1035 |
} |
} |
1036 |
|
|
1037 |
// tighten up the x and y max bounds |
// tighten up the x and y max bounds |
1049 |
boolean paintedLine = false; |
boolean paintedLine = false; |
1050 |
for (int c = 0; c < ncols && x < xmax; ++c) |
for (int c = 0; c < ncols && x < xmax; ++c) |
1051 |
{ |
{ |
1052 |
x += cols.getColumn(c).getWidth();; |
x += cols.getColumn(c).getWidth(); |
1053 |
if (gap != null) |
gfx.drawLine(x - gap.width, y0, x - gap.width, ymax); |
|
x += gap.width; |
|
|
gfx.drawLine(x, y0, x, ymax); |
|
1054 |
paintedLine = true; |
paintedLine = true; |
1055 |
} |
} |
1056 |
gfx.setColor(save); |
gfx.setColor(save); |
1066 |
for (int r = 0; r < nrows && y < ymax; ++r) |
for (int r = 0; r < nrows && y < ymax; ++r) |
1067 |
{ |
{ |
1068 |
y += height; |
y += height; |
|
if (gap != null) |
|
|
y += gap.height; |
|
1069 |
gfx.drawLine(x0, y, xmax, y); |
gfx.drawLine(x0, y, xmax, y); |
1070 |
paintedLine = true; |
paintedLine = true; |
1071 |
} |
} |