code: public String getPressCommand (char ch)
      {
          KeyRecord krec = _charCommands.get(ch);
          return (krec == null) ? null : krec.pressCommand;
      }
docs: documentation inherited from interface KeyTranslator