note description: "EiffelVision check menu. Cocoa implementation." author: "Daniel Furrer" date: "$Date$"; revision: "$Revision$" class EV_CHECK_MENU_ITEM_IMP inherit EV_CHECK_MENU_ITEM_I redefine interface end EV_MENU_ITEM_IMP redefine interface end create make feature -- Status report is_selected: BOOLEAN -- Is this menu item checked? feature -- Status setting enable_select -- Select this menu item. do is_selected := True menu_item.set_state ({NS_CELL}.on_state) end disable_select -- Deselect this menu item. do is_selected := False menu_item.set_state ({NS_CELL}.off_state) end feature {EV_ANY, EV_ANY_I} -- Implementation interface: detachable EV_CHECK_MENU_ITEM note option: stable attribute end end -- class EV_CHECK_MENU_ITEM_IMP