+
+ int widthx = 1 + endx - startx;
+
+ FontMetrics fm = gg.getFontMetrics(av.getFont());
+ int y = avCharHeight - fm.getDescent();
+
+ if (av.hasHiddenColumns())
+ {
+ // draw any hidden column markers
+ gg.setColor(Color.blue);
+ int res;
+ if (av.getShowHiddenMarkers()
+ && av.getColumnSelection().getHiddenColumns() != null)
+ {
+ for (int i = 0; i < av.getColumnSelection().getHiddenColumns()
+ .size(); i++)
+ {
+ res = av.getColumnSelection().findHiddenRegionPosition(i)
+ - startx;
+
+ if (res < 0 || res > widthx)
+ {
+ continue;
+ }
+
+ gg.fillPolygon(new int[] { res * avCharWidth - avCharHeight / 4,
+ res * avCharWidth + avCharHeight / 4, res * avCharWidth },
+ new int[] { y - avCharHeight / 2, y - avCharHeight / 2,
+ y + 8 }, 3);
+
+ }
+ }
+ }