note description: "Eiffel Vision vertical progress bar. Cocoa implementation." author: "Daniel Furrer" date: "$Date$" revision: "$Revision$" class EV_VERTICAL_PROGRESS_BAR_IMP inherit EV_VERTICAL_PROGRESS_BAR_I redefine interface end EV_PROGRESS_BAR_IMP redefine interface, minimum_height, minimum_width end create make feature {NONE} -- Implementation minimum_height: INTEGER -- Minimum height that the widget may occupy. do Result := 80 -- Hardcode, same value as in GTK+ end minimum_width: INTEGER -- Minimum width that the widget may occupy. do Result := 22 -- Hardcode, same value as in GTK+ end feature {EV_ANY, EV_ANY_I} -- Implementation interface: detachable EV_VERTICAL_PROGRESS_BAR note option: stable attribute end; end -- class EV_VERTICAL_PROGRESS_BAR_IMP