let create_menu () =
let ui_m = GAction.ui_manager () in
let actions = GAction.action_group ~name:"Actions" () in
GAction.add_actions actions [
GAction.add_action "FileMenu" ~label:"File" ;
GAction.add_action "Open" ~label:"Open" ~accel:"o"
;
GAction.add_action "Quit" ~label:"Quit" ~accel:"q" ~callback:quit_act_cb;
GAction.add_action "HelpMenu" ~label:"Help" ;
GAction.add_action "Help" ~label:"Help" ~accel:"h" ~callback:help_act_cb;
];
ui_m#insert_action_group actions 0 ;
let _ = ui_m#add_ui_from_string menu_desc in
let help_item = ui_m#get_widget "/MenuBar/HelpMenu" in
let help_item = GtkMenu.MenuItem.cast help_item#as_widget in
GtkMenu.MenuItem.set_right_justified help_item true ;
ui_m