(int inc)
| 542 | public void mouseEntered (MouseEvent e) {} |
| 543 | |
| 544 | private void scroll(int inc) { |
| 545 | synchronized(this) { |
| 546 | sbVert.setValue(sbVert.getValue()+inc); |
| 547 | iY=iRowHeight*sbVert.getValue(); |
| 548 | tc.repaint(); |
| 549 | } |
| 550 | } |
| 551 | |
| 552 | /** Unused keyPressed and keyTyped events will be passed to 'listener'.*/ |
| 553 | public void addKeyListener(KeyListener listener) { |
no test coverage detected