note description: "Eiffel Vision scrollbar. Cocoa implementation." author: "Daniel Furrer " date: "$Date$" revision: "$Revision$" deferred class EV_SCROLL_BAR_IMP inherit EV_SCROLL_BAR_I redefine interface end EV_GAUGE_IMP undefine set_default_minimum_size, set_value redefine interface, make, set_leap, set_range end feature {NONE} -- Implementation make do Precursor {EV_GAUGE_IMP} disable_tabable_from disable_tabable_to end feature {EV_ANY_I} -- Setter set_value (a_value: INTEGER) -- Set `value' to `a_value'. do Precursor {EV_GAUGE_IMP} (a_value) scroller.set_double_value (proportion) end feature {EV_ANY_I} -- Implementation scroller: NS_SCROLLER set_leap (a_leap: INTEGER) -- do Precursor {EV_GAUGE_IMP} (a_leap) scroller.set_knob_proportion ((a_leap / value_range.count).truncated_to_real) end set_range -- do Precursor {EV_GAUGE_IMP} scroller.set_knob_proportion ((leap / value_range.count).truncated_to_real) end feature {EV_ANY, EV_ANY_I} -- Implementation interface: detachable EV_SCROLL_BAR note option: stable attribute end; end -- class EV_SCROLL_BAR_IMP