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; |
|
import java.awt.peer.MenuItemPeer; |
|
45 |
|
|
46 |
public class GtkCheckboxMenuItemPeer extends GtkMenuItemPeer |
public class GtkCheckboxMenuItemPeer extends GtkMenuItemPeer |
47 |
implements CheckboxMenuItemPeer |
implements CheckboxMenuItemPeer |
55 |
} |
} |
56 |
|
|
57 |
native public void setState (boolean t); |
native public void setState (boolean t); |
58 |
|
|
59 |
|
protected void postMenuActionEvent () |
60 |
|
{ |
61 |
|
CheckboxMenuItem item = (CheckboxMenuItem)awtWidget; |
62 |
|
q().postEvent (new ItemEvent ((ItemSelectable)awtWidget, |
63 |
|
ItemEvent.ITEM_STATE_CHANGED, |
64 |
|
item.getActionCommand(), |
65 |
|
item.getState() ? ItemEvent.DESELECTED : ItemEvent.SELECTED)); |
66 |
|
|
67 |
|
super.postMenuActionEvent(); |
68 |
|
} |
69 |
} |
} |