av.getColumnSelection().revealHiddenColumns(reveal[0], av);\r
reveal = null;\r
ap.repaint();\r
+ if(ap.overviewPanel != null)\r
+ ap.overviewPanel.updateOverviewImage();\r
}\r
});\r
pop.add(item);\r
av.getColumnSelection().revealAllHiddenColumns(av);\r
reveal = null;\r
ap.repaint();\r
+ if(ap.overviewPanel != null)\r
+ ap.overviewPanel.updateOverviewImage();\r
}\r
});\r
pop.add(item);\r
{\r
av.getColumnSelection().hideColumns(res, av);\r
ap.repaint();\r
+ if(ap.overviewPanel != null)\r
+ ap.overviewPanel.updateOverviewImage();\r
}\r
});\r
pop.add(item);\r
if(res+1==region[0] || res-1==region[1])\r
{\r
reveal = region;\r
+ ToolTipManager.sharedInstance().registerComponent(this);\r
+ this.setToolTipText("Reveal Hidden Columns with Right Mouse Button");\r
break;\r
}\r
+ else\r
+ this.setToolTipText(null);\r
+\r
}\r
\r
repaint();\r
{\r
res = av.getColumnSelection().findHiddenRegionPosition( i )-startx;\r
\r
- gg.fillPolygon(new int[] { res*av.charWidth - 4,\r
- res*av.charWidth + 4,\r
+ gg.fillPolygon(new int[] { res*av.charWidth - av.charHeight/4,\r
+ res*av.charWidth + av.charHeight/4,\r
res*av.charWidth },\r
new int[]\r
{\r
y + 8\r
}, 3);\r
\r
+\r
}\r
\r
if (reveal != null && reveal[0] > startx && reveal[0] < endx)\r