note
	description: "Eiffel Vision scrollbar. Cocoa implementation."
	author: "Daniel Furrer <daniel.furrer@gmail.com>"
	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)
			-- <Precursor>
		do
			Precursor {EV_GAUGE_IMP} (a_leap)
			scroller.set_knob_proportion ((a_leap / value_range.count).truncated_to_real)
		end

	set_range
			-- <Precursor>
		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