/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 

    

  1. class INTEGER_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. 		do
    6. 

  6. 			with_range (0.0, 5.0, 1.0)
    7. 

  7. 			enable_on_changed
    8. 

  8. 		end
    9. 

  9. 

  10. 	on_changed is
    11. 

  11. 		do
    12. 

  12. 			print(value.out) print (" Eiffel projects%N")
    13. 

  13. 		end
    14. 

  14. 	
    15. 

  15. end
    16.