/src/wrappers/gtk/examples/entries/real_spin.e

 1class REAL_SPIN
 2inherit GTK_SPIN_BUTTON rename make as make_spin redefine on_changed end
 3creation make
 4feature make is
 5		local adj: GTK_ADJUSTMENT
 6		do
 7			create adj.make (0.0,0.0, 100.0, 2.5, 10.0, 20.0)
 8			make_spin (adj, 1.5, 3)
 9			connect (Current, "changed", $on_changed)
10		end
11
12	on_changed is
13		do
14			print(value.out) print ("%% of non-Eiffel code%N")
15		end
16end
17