Changeset 1083


Ignore:
Timestamp:
Jun 22, 2011, 11:57:07 AM (6 years ago)
Author:
joerg
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/gproperties/GPropertiesCodeHelper.java

    r1082 r1083  
    135135
    136136    public void keyTyped(KeyEvent e) {
     137      e.consume();
    137138    }
    138139
     
    147148      } else {
    148149        String text = KeyStroke.getKeyStroke(e.getKeyCode(), e.getModifiers()).toString();
    149         text = text.replaceAll(" pressed ", " ");
     150        text = text.replaceAll("pressed ", "");
    150151        field.setText(text);
    151152      }
     153      e.consume();
    152154    }
    153155
Note: See TracChangeset for help on using the changeset viewer.