InputMethodHighlight.java | 56 private int variation; field in class:InputMethodHighlight 59 public InputMethodHighlight(boolean selected, int state, int variation) { 60 this(selected, state, variation, null); 64 int variation, Map<java.awt.font.TextAttribute, ?> style) { 71 this.variation = variation; 88 return variation;
|