日期:2014-05-20 浏览次数:20859 次
//---------------------- ... private char oldchar; ... //----------------------- public void keyTyped(KeyEvent e) { if(e.getKeyChar()==oldChar) { return; } oldChar=e.getKeyChar(); ...