\r
public void doMousePressed(MouseEvent evt) {\r
int x = evt.getX();\r
- int res = x/(int)av.getCharWidth() + av.getStartRes();\r
+ int res = x/av.getCharWidth() + av.getStartRes();\r
\r
if (! av.getColumnSelection().contains(res))\r
av.getColumnSelection().addElement(res);\r