/src/wrappers/gtk/examples/menu/menu_demo.e

http://github.com/tybor/Liberty · Specman e · 84 lines · 64 code · 20 blank · 0 comment · 0 complexity · 056355cfbb4b378b5dfc50b025370f15 MD5 · raw file

  1. class MENU_DEMO
  2. insert GTK
  3. creation make
  4. feature
  5. make is
  6. local label: STRING
  7. do
  8. gtk.initialize
  9. create window.make
  10. window.set_title (window_title)
  11. create menu_bar.make
  12. create file_menu.with_label (file_label)
  13. create edit_menu.with_label (edit_label)
  14. create view_menu.with_label (view_label)
  15. create file_submenu.make
  16. create edit_submenu.make
  17. create view_submenu.make
  18. create open_menu.with_label (open_label)
  19. create save_menu.with_label (save_label)
  20. create file_menu_separator.make
  21. create quit_menu.with_label (quit_label)
  22. create view_all_menu.with_label (view_all_label)
  23. create view_some_menu.with_label (view_some_label)
  24. window.add (menu_bar)
  25. menu_bar.append (file_menu)
  26. menu_bar.append (edit_menu)
  27. menu_bar.append (view_menu)
  28. file_menu.set_submenu (file_submenu)
  29. edit_menu.set_submenu (edit_submenu)
  30. view_menu.set_submenu (view_submenu)
  31. file_submenu.append (open_menu)
  32. file_submenu.append (save_menu)
  33. file_submenu.append (file_menu_separator)
  34. file_submenu.append (quit_menu)
  35. edit_submenu.append (view_all_menu)
  36. edit_submenu.append (view_some_menu)
  37. window.show_all
  38. print ("Testing CONST_STRING using GTK_MENU.label feature%N")
  39. edit_submenu.set_title("Edit submenu")
  40. label := edit_submenu.title
  41. label.prepend ("edit_submenu.label='")
  42. label.append ("'.%N")
  43. print (label)
  44. gtk.run_main_loop
  45. end
  46. feature -- Widgets
  47. window: GTK_WINDOW
  48. menu_bar: GTK_MENU_BAR
  49. file_menu, edit_menu, view_menu: GTK_MENU_ITEM
  50. file_submenu, edit_submenu, view_submenu: GTK_MENU
  51. open_menu,save_menu,quit_menu: GTK_MENU_ITEM
  52. file_menu_separator: GTK_SEPARATOR_MENU_ITEM
  53. view_all_menu, view_some_menu: GTK_MENU_ITEM
  54. feature -- Labels
  55. window_title: STRING is "Menu demo"
  56. file_label: STRING is "File"
  57. edit_label: STRING is "Edit"
  58. view_label: STRING is "View"
  59. open_label: STRING is "Open"
  60. save_label: STRING is "Save"
  61. quit_label: STRING is "Quit"
  62. view_all_label: STRING is "View all"
  63. view_some_label: STRING is "View some"
  64. end