/src/wrappers/gtk/examples/entries/real_spin.e
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