- 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 > endx - scalestartx)
- {
- continue;
- }
-
- gg.fillPolygon(new int[]
- { res * av.charWidth - av.charHeight / 4,
- res * av.charWidth + av.charHeight / 4, res * av.charWidth },
- new int[]
- { y - av.charHeight / 2, y - av.charHeight / 2, y + 8 },
- 3);
-
- }
- }