note description: "Eiffel Vision separator. Cocoa implementation" author: "Daniel Furrer" date: "$Date$" revision: "$Revision$" deferred class EV_SEPARATOR_IMP inherit EV_SEPARATOR_I redefine interface end EV_PRIMITIVE_IMP redefine make, interface, set_default_minimum_size end feature {NONE} -- Initialization make -- Create the separator control. local box: NS_BOX do create box.make cocoa_view := box Precursor {EV_PRIMITIVE_IMP} disable_tabable_from box.set_box_type ({NS_BOX}.box_separator) set_is_initialized (True) end feature -- Layout handling set_default_minimum_size -- Minimum height/width that the widget may occupy. do internal_set_minimum_size (1, 1) -- Hardcoded value end feature {EV_ANY, EV_ANY_I} -- Implementation interface: detachable EV_SEPARATOR note option: stable attribute end; end -- class EV_SEPARATOR_IMP