38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.ItemSelectable; |
42 |
|
import java.awt.event.ItemEvent; |
43 |
import java.awt.CheckboxMenuItem; |
import java.awt.CheckboxMenuItem; |
44 |
import java.awt.peer.CheckboxMenuItemPeer; |
import java.awt.peer.CheckboxMenuItemPeer; |
45 |
import java.awt.peer.MenuItemPeer; |
import java.awt.peer.MenuItemPeer; |
56 |
} |
} |
57 |
|
|
58 |
native public void setState (boolean t); |
native public void setState (boolean t); |
59 |
|
|
60 |
|
protected void postMenuActionEvent () |
61 |
|
{ |
62 |
|
CheckboxMenuItem item = (CheckboxMenuItem)awtWidget; |
63 |
|
q().postEvent (new ItemEvent ((ItemSelectable)awtWidget, |
64 |
|
ItemEvent.ITEM_STATE_CHANGED, |
65 |
|
item.getActionCommand(), |
66 |
|
item.getState() ? ItemEvent.DESELECTED : ItemEvent.SELECTED)); |
67 |
|
|
68 |
|
super.postMenuActionEvent(); |
69 |
|
} |
70 |
} |
} |