41 |
import java.awt.Component; |
import java.awt.Component; |
42 |
import java.io.IOException; |
import java.io.IOException; |
43 |
import java.io.ObjectInputStream; |
import java.io.ObjectInputStream; |
44 |
|
import gnu.java.awt.EventModifier; |
45 |
|
|
46 |
/** |
/** |
47 |
* This event is generated when a key is pressed or released. There are two |
* This event is generated when a key is pressed or released. There are two |
1205 |
*/ |
*/ |
1206 |
public void setModifiers(int modifiers) |
public void setModifiers(int modifiers) |
1207 |
{ |
{ |
1208 |
this.modifiers = extend(modifiers); |
this.modifiers = EventModifier.extend(modifiers); |
1209 |
} |
} |
1210 |
|
|
1211 |
/** |
/** |
1545 |
*/ |
*/ |
1546 |
public static String getKeyModifiersText(int modifiers) |
public static String getKeyModifiersText(int modifiers) |
1547 |
{ |
{ |
1548 |
return getModifiersExText(extend(modifiers & OLD_MASK)); |
return getModifiersExText(EventModifier.extend(modifiers |
1549 |
|
& EventModifier.OLD_MASK)); |
1550 |
} |
} |
1551 |
|
|
1552 |
/** |
/** |
1728 |
throws IOException, ClassNotFoundException |
throws IOException, ClassNotFoundException |
1729 |
{ |
{ |
1730 |
s.defaultReadObject(); |
s.defaultReadObject(); |
1731 |
modifiers = extend(modifiers); |
modifiers = EventModifier.extend(modifiers); |
1732 |
} |
} |
1733 |
} // class KeyEvent |
} // class KeyEvent |