PropertySheet.java 文件源码

/** Changes the "type" definition this decoration, which discards all value data and structures.
 *  Format: definition; name; keystroke
 */
public void mySetType(String s) {

  s = s.substring(ID.length());
  SequenceEncoder.Decoder st = new SequenceEncoder.Decoder(s, TYPE_DELIMITOR);

  m_definition = st.nextToken();
  menuName = st.nextToken();
  final String launchKeyToken = st.nextToken("");
  commitStyle = st.nextInt(COMMIT_DEFAULT);
  String red = st.hasMoreTokens() ? st.nextToken() : "";
  String green = st.hasMoreTokens() ? st.nextToken() : "";
  String blue = st.hasMoreTokens() ? st.nextToken() : "";
  final String launchKeyStrokeToken = st.nextToken("");

  backgroundColor = red.equals("") ? null : new Color(atoi(red), atoi(green), atoi(blue));
  frame = null;

  // Handle conversion from old character only key
  if (launchKeyStrokeToken.length() > 0) {
    launchKeyStroke = NamedHotKeyConfigurer.decode(launchKeyStrokeToken);
  }
  else if (launchKeyToken.length() > 0) {
    launchKeyStroke = new NamedKeyStroke(launchKeyToken.charAt(0), InputEvent.CTRL_MASK);
  }
  else {
    launchKeyStroke = new NamedKeyStroke('P', InputEvent.CTRL_MASK);
  }
}