/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 

    

  1. class REAL_SPIN
    2. 

  2. inherit GTK_SPIN_BUTTON rename make as make_spin redefine on_changed end
    3. 

  3. creation make
    4. 

  4. feature make is
    5. 

  5. 		local adj: GTK_ADJUSTMENT
    6. 

  6. 		do
    7. 

  7. 			create adj.make (0.0,0.0, 100.0, 2.5, 10.0, 20.0)
    8. 

  8. 			make_spin (adj, 1.5, 3)
    9. 

  9. 			connect (Current, "changed", $on_changed)
    10. 

  10. 		end
    11. 

  11. 

  12. 	on_changed is
    13. 

  13. 		do
    14. 

  14. 			print(value.out) print ("%% of non-Eiffel code%N")
    15. 

  15. 		end
    16. 

  16. end
    17.