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

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

http://github.com/tybor/Liberty
Specman e | 16 lines | 13 code | 3 blank | 0 comment | 0 complexity | 4a670673d8ffeb66d3e8e8ed1d2b3fe5 MD5 | raw file
 1class INTEGER_SPIN
 2inherit GTK_SPIN_BUTTON rename make as make_spin redefine on_changed end
 3creation make
 4feature make is
 5		do
 6			with_range (0.0, 5.0, 1.0)
 7			enable_on_changed
 8		end
 9
10	on_changed is
11		do
12			print(value.out) print (" Eiffel projects%N")
13		end
14	
15end
16