code: public int getRepeatRate (int keyCode)
      {
          KeyRecord krec = _keys.get(keyCode);
          return (krec == null) ? DEFAULT_REPEAT_RATE : krec.repeatRate;
      }
docs: documentation inherited from interface KeyTranslator