PageRenderTime 5ms CodeModel.GetById 2ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

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

http://github.com/tybor/Liberty
Specman e | 17 lines | 15 code | 2 blank | 0 comment | 0 complexity | 08206f8ca2b4513189d24c4d4d46197f MD5 | raw file
 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