/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
- class INTEGER_SPIN
- inherit GTK_SPIN_BUTTON rename make as make_spin redefine on_changed end
- creation make
- feature make is
- do
- with_range (0.0, 5.0, 1.0)
- enable_on_changed
- end
- on_changed is
- do
- print(value.out) print (" Eiffel projects%N")
- end
-
- end